`OAI/Algebra/Finitistic/`

4228 declarations, 0 contain sorry, 0 declared as axioms; 546 files

Folders

Bar/ 93 files, 738 declarations
Bimodule/ 51 files, 286 declarations
Dimension/ 29 files, 176 declarations
Encoding/ 20 files, 233 declarations
Iteration/ 12 files, 53 declarations
Localization/ 79 files, 680 declarations
Ordinary/ 129 files, 840 declarations
Rectification/ 64 files, 494 declarations
Selected/ 46 files, 350 declarations
Selection/ 13 files, 307 declarations
Tensor/ 8 files, 61 declarations

Files

Basic.lean 4 declarations
Main.lean 6 declarations