OAI/GroupTheory/PeriodicGroups/Steinberg/
553 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- BandFactorization.lean 71 declarations
- BlockEmbeddings.lean 71 declarations
- CoefficientQuotients.lean 97 declarations
- DiagonalActions.lean 25 declarations
- KernelRelations.lean 71 declarations
- MatrixUnits.lean 48 declarations
- MonomialPresentation.lean 62 declarations
- PresentationModel.lean 52 declarations
- RankActions.lean 56 declarations