OAI/GroupTheory/PeriodicGroups/Frames/
133 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- AcyclicFrameEdge.lean 34 declarations
- ElementaryFrames.lean 18 declarations
- ExteriorComplex.lean 81 declarations