`OAI/Algebra/AuslanderReiten/`

4598 declarations, 0 contain sorry, 0 declared as axioms; 732 files

Folders

Algebras/ 21 files, 307 declarations
Bar/ 77 files, 476 declarations
BaseChange/ 12 files, 50 declarations
Cocycles/ 19 files, 158 declarations
Complete/ 27 files, 210 declarations
Cones/ 49 files, 372 declarations
Coordinates/ 50 files, 198 declarations
Duality/ 18 files, 196 declarations
Evaluation/ 55 files, 246 declarations
Ext/ 70 files, 343 declarations
Fibers/ 25 files, 171 declarations
HomComplex/ 44 files, 181 declarations
Homology/ 49 files, 219 declarations
Modules/ 26 files, 256 declarations
Resolutions/ 49 files, 299 declarations
Stable/ 21 files, 151 declarations
Tensor/ 94 files, 560 declarations
Triangular/ 20 files, 169 declarations

Files

All.lean 1 declarations
Basic.lean 5 declarations
Main.lean 8 declarations
Parameters.lean 14 declarations
Statement.lean 6 declarations
StatementEquivalence.lean 2 declarations