`OAI/Combinatorics/PolynomialVacuum/`

4577 declarations, 0 contain sorry, 0 declared as axioms; 294 files

Folders

Algebra/ 134 files, 3227 declarations
Bridge/ 20 files, 146 declarations
Cylinder/ 87 files, 837 declarations
Geometry/ 8 files, 62 declarations
Pairing/ 20 files, 155 declarations
Puncture/ 17 files, 92 declarations
Separator/ 7 files, 58 declarations

Files

Main.lean 15 imports, no declarations