OAI/GroupTheory/Congruence/
930 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- Basic.lean 82 declarations
- Coinvariants.lean 85 declarations
- CongruenceFrames.lean 72 declarations
- Elementary.lean 57 declarations
- FrameHomology.lean 61 declarations
- HomologyEdge.lean 24 declarations
- OddHomology.lean 74 declarations
- Parabolic.lean 64 declarations
- Patterns.lean 110 declarations
- ProStability.lean 87 declarations
- Resolution.lean 101 declarations
- Stabilization.lean 54 declarations
- Transfer.lean 59 declarations