`OAI/NumberTheory/PiExponent/`

6795 declarations, 0 contain sorry, 0 declared as axioms; 869 files

Folders

Ampleness/ 119 files, 768 declarations
Analysis/ 32 files, 264 declarations
Approximation/ 133 files, 1051 declarations
Cohomology/ 99 files, 1091 declarations
Geometry/ 181 files, 1363 declarations
Jets/ 63 files, 583 declarations
LocalAlgebra/ 172 files, 1122 declarations
Polynomials/ 68 files, 542 declarations

Files

Main.lean 5 declarations
Statement.lean 6 declarations