`OAI/GroupTheory/PeriodicGroups/Algebra/`

284 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

DirectCancellation.lean 55 declarations
HierarchyGrowth.lean 60 declarations
MatrixTests.lean 54 declarations
PacketIntervals.lean 49 declarations
WordAlgebra.lean 66 declarations