`OAI/Algebra/FinitisticAsymmetry/Triangular/`

123 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

Algebra.lean 19 declarations
Augmentation.lean 6 declarations
Generation.lean 16 declarations
InjectiveCorners.lean 28 declarations
InjectiveResolution.lean 32 declarations
Socle.lean 22 declarations