`OAI/Geometry/Coboundary/`

908 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

ChamberCones.lean 122 declarations
Chambers.lean 164 declarations
Flags.lean 134 declarations
Frames.lean 72 declarations
LatticeCones.lean 55 declarations
Lattices.lean 152 declarations
Polynomial.lean 76 declarations
Windows.lean 133 declarations