`OAI/Topology/ArtinGroups/Diagrams/`

52 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Circle.lean 8 declarations
CongrEquiv.lean 1 declarations
Index.lean 7 declarations
Relation.lean 23 declarations
ReverseDifferential.lean 5 declarations
SupportedKernel.lean 7 declarations
TransposeConjugateEquiv.lean 1 declarations