fweijpfiewjpe

This commit is contained in:
2025-07-17 03:17:56 +02:00
parent 8ad72aa225
commit d85de92c2e
2 changed files with 2 additions and 6 deletions
Binary file not shown.
+2 -6
View File
@@ -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._