Modules
13 modules
| Module | Definitions | Theorems | Sorry |
|---|---|---|---|
| SDG/Axiom/Fin.lean | 1 | 40 | |
| SDG/Axiom/Function.lean | 0 | 2 | |
| SDG/Axiom/UniqueChoice.lean | 3 | 5 | |
| SDG/Basic/D.lean | 1 | 15 | |
| SDG/Basic/Defs.lean | 6 | 11 | |
| SDG/Basic/FactorialInv.lean | 3 | 3 | |
| SDG/IsKockLawvere/Taylor.lean | 0 | 5 | |
| SDG/IsKockLawvere_one/Alpha.lean | 1 | 4 | |
| SDG/IsKockLawvere_one/Basic.lean | 0 | 3 | |
| SDG/IsKockLawvere_one/Deriv.lean | 4 | 15 | |
| SDG/IsKockLawvere_one/EM.lean | 0 | 2 | |
| SDG/IsKockLawvere_one/PartialDeriv.lean | 4 | 10 | |
| SDG/Linters/choice.lean | 2 | 0 |