diff --git a/out/presentation.pdf b/out/presentation.pdf index 8ecd09e..99dd974 100644 Binary files a/out/presentation.pdf and b/out/presentation.pdf differ diff --git a/src/presentation.typ b/src/presentation.typ index 2efd4cf..0745c88 100644 --- a/src/presentation.typ +++ b/src/presentation.typ @@ -952,9 +952,7 @@ _Dimostrazione._ == Ipotesi induttiva #slide[ - #set par(spacing: 1.5em) - #set list(spacing: 1.5em) - #set enum(numbering: "a)", spacing: 1.5em) + #set enum(numbering: "a)") *Ipotesi induttiva.* Dimostreremo induttivamente le seguenti proprietà: per ogni diagramma di link $D$ con $< N$ incroci e per diagrammi contenenti $#skein.over-twist-large$ con $< N$ incroci: @@ -974,9 +972,7 @@ _Dimostrazione._ == Dimostrazione buona definizione #slide[ - #set par(spacing: 1.25em) - #set list(spacing: 1.25em) - #set enum(numbering: "a)", spacing: 1.25em) + #set enum(numbering: "a)") _Dimostrazione._