`OAI/Algebra/FinitisticAsymmetry/`

418 declarations, 0 contain sorry, 0 declared as axioms; 42 files

Folders

Augmentation/ 2 files, 24 declarations
Derived/ 11 files, 111 declarations
Kasch/ 3 files, 11 declarations
Nakayama/ 3 files, 50 declarations
Rickard/ 7 files, 52 declarations
Transport/ 6 files, 27 declarations
Triangular/ 6 files, 123 declarations

Files

Asymmetry.lean 2 declarations
Main.lean 14 declarations
Model.lean 2 declarations
ZeroDimensions.lean 2 declarations