generated from coderefinery/documentation-example
-
Notifications
You must be signed in to change notification settings - Fork 37
Expand file tree
/
Copy pathFormalisingMathematics2026.lean
More file actions
103 lines (103 loc) · 6.44 KB
/
FormalisingMathematics2026.lean
File metadata and controls
103 lines (103 loc) · 6.44 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
import FormalisingMathematics2026.Section01logic.Sheet1
import FormalisingMathematics2026.Section01logic.Sheet2
import FormalisingMathematics2026.Section01logic.Sheet3
import FormalisingMathematics2026.Section01logic.Sheet4
import FormalisingMathematics2026.Section01logic.Sheet5
import FormalisingMathematics2026.Section01logic.Sheet6
import FormalisingMathematics2026.Section02reals.Sheet1
import FormalisingMathematics2026.Section02reals.Sheet2
import FormalisingMathematics2026.Section02reals.Sheet3
import FormalisingMathematics2026.Section02reals.Sheet4
import FormalisingMathematics2026.Section02reals.Sheet5
import FormalisingMathematics2026.Section02reals.Sheet6
import FormalisingMathematics2026.Section03functions.Sheet1
import FormalisingMathematics2026.Section03functions.Sheet2
import FormalisingMathematics2026.Section03functions.Sheet3
import FormalisingMathematics2026.Section03functions.Sheet4
import FormalisingMathematics2026.Section04sets.Sheet1
import FormalisingMathematics2026.Section04sets.Sheet2
import FormalisingMathematics2026.Section04sets.Sheet3
import FormalisingMathematics2026.Section04sets.Sheet4
import FormalisingMathematics2026.Section04sets.Sheet5
import FormalisingMathematics2026.Section04sets.Sheet6
import FormalisingMathematics2026.Section05groups.Sheet1
import FormalisingMathematics2026.Section05groups.Sheet2
import FormalisingMathematics2026.Section05groups.Sheet3
import FormalisingMathematics2026.Section06orderingsAndLattices.Sheet1
import FormalisingMathematics2026.Section06orderingsAndLattices.Sheet2
import FormalisingMathematics2026.Section06orderingsAndLattices.Sheet3
import FormalisingMathematics2026.Section06orderingsAndLattices.Sheet4
import FormalisingMathematics2026.Section07subgroupsAndHomomorphisms.Sheet0
import FormalisingMathematics2026.Section07subgroupsAndHomomorphisms.Sheet1
import FormalisingMathematics2026.Section07subgroupsAndHomomorphisms.Sheet2
import FormalisingMathematics2026.Section07subgroupsAndHomomorphisms.Sheet3
import FormalisingMathematics2026.Section08finiteness.Sheet1
import FormalisingMathematics2026.Section08finiteness.Sheet2
import FormalisingMathematics2026.Section08finiteness.Sheet3
import FormalisingMathematics2026.Section09bijectionsAndIsomorphisms.Sheet1
import FormalisingMathematics2026.Section09bijectionsAndIsomorphisms.Sheet2
import FormalisingMathematics2026.Section09bijectionsAndIsomorphisms.Sheet3
import FormalisingMathematics2026.Section09bijectionsAndIsomorphisms.Sheet4
import FormalisingMathematics2026.Section10types.Sheet1
import FormalisingMathematics2026.Section11TopologicalSpaces.Sheet1
import FormalisingMathematics2026.Section11TopologicalSpaces.Sheet2
import FormalisingMathematics2026.Section12Filters.Sheet1
import FormalisingMathematics2026.Section12Filters.Sheet2
import FormalisingMathematics2026.Section12Filters.Sheet3
import FormalisingMathematics2026.Section12Filters.Sheet4
import FormalisingMathematics2026.Section13VectorSpaces.Sheet1
import FormalisingMathematics2026.Section13VectorSpaces.Sheet2
import FormalisingMathematics2026.Section13VectorSpaces.Sheet3
import FormalisingMathematics2026.Section13VectorSpaces.Sheet4
import FormalisingMathematics2026.Section14measureTheory.Sheet1
import FormalisingMathematics2026.Section14measureTheory.Sheet2
import FormalisingMathematics2026.Section14measureTheory.Sheet3
import FormalisingMathematics2026.Section14measureTheory.Sheet4
import FormalisingMathematics2026.Section15UFDsAndPIDsEtc.Sheet1
import FormalisingMathematics2026.Section15UFDsAndPIDsEtc.Sheet2
import FormalisingMathematics2026.Section15UFDsAndPIDsEtc.Sheet3
import FormalisingMathematics2026.Section16numberTheory.Sheet1
import FormalisingMathematics2026.Section16numberTheory.Sheet2
import FormalisingMathematics2026.Section16numberTheory.Sheet3
import FormalisingMathematics2026.Section16numberTheory.Sheet4
import FormalisingMathematics2026.Section16numberTheory.Sheet5
import FormalisingMathematics2026.Section16numberTheory.Sheet6
import FormalisingMathematics2026.Section16numberTheory.Sheet7
import FormalisingMathematics2026.Section16numberTheory.Sheet8
import FormalisingMathematics2026.Section17commutativeAlgebra.Sheet1
import FormalisingMathematics2026.Section17commutativeAlgebra.Sheet2
import FormalisingMathematics2026.Section18curvesAndSurfaces.Sheet1
import FormalisingMathematics2026.Section18curvesAndSurfaces.Sheet2
import FormalisingMathematics2026.Section18curvesAndSurfaces.Sheet3
import FormalisingMathematics2026.Section18curvesAndSurfaces.Sheet4
import FormalisingMathematics2026.Section18curvesAndSurfaces.Sheet5
import FormalisingMathematics2026.Section19graphTheory.Sheet1
import FormalisingMathematics2026.Section19graphTheory.Sheet2
import FormalisingMathematics2026.Section19graphTheory.Sheet3
import FormalisingMathematics2026.Section20algebraicNumberTheory.Sheet1
import FormalisingMathematics2026.Section20algebraicNumberTheory.Sheet2
import FormalisingMathematics2026.Section20algebraicNumberTheory.Sheet3
import FormalisingMathematics2026.Section20algebraicNumberTheory.Sheet4
import FormalisingMathematics2026.Section21combinatorics.Sheet1
import FormalisingMathematics2026.Solutions.Section01logic.Sheet1
import FormalisingMathematics2026.Solutions.Section01logic.Sheet2
import FormalisingMathematics2026.Solutions.Section01logic.Sheet3
import FormalisingMathematics2026.Solutions.Section01logic.Sheet4
import FormalisingMathematics2026.Solutions.Section01logic.Sheet5
import FormalisingMathematics2026.Solutions.Section01logic.Sheet6
import FormalisingMathematics2026.Solutions.Section02reals.Sheet1
import FormalisingMathematics2026.Solutions.Section02reals.Sheet2
import FormalisingMathematics2026.Solutions.Section02reals.Sheet3
import FormalisingMathematics2026.Solutions.Section02reals.Sheet4
import FormalisingMathematics2026.Solutions.Section02reals.Sheet5
import FormalisingMathematics2026.Solutions.Section02reals.Sheet6
import FormalisingMathematics2026.Solutions.Section03functions.Sheet1
import FormalisingMathematics2026.Solutions.Section03functions.Sheet2
import FormalisingMathematics2026.Solutions.Section03functions.Sheet3
import FormalisingMathematics2026.Solutions.Section03functions.Sheet4
import FormalisingMathematics2026.Solutions.Section04sets.Sheet1
import FormalisingMathematics2026.Solutions.Section04sets.Sheet2
import FormalisingMathematics2026.Solutions.Section04sets.Sheet3
import FormalisingMathematics2026.Solutions.Section04sets.Sheet4
import FormalisingMathematics2026.Solutions.Section04sets.Sheet5
import FormalisingMathematics2026.Solutions.Section04sets.Sheet6