`OAI/Algebra/Universal/`

73 declarations, 0 contain sorry, 0 declared as axioms; 4 files

Files

Congruence.lean 22 declarations
Coset.lean 15 declarations
GraphCriterion.lean 28 declarations
GraphDecidability.lean 8 declarations