OAI/Algebra/FinitisticAsymmetry/Nakayama/
50 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Coinduction.lean 11 declarations
- Minimality.lean 4 declarations
- Modules.lean 35 declarations
OAI/Algebra/FinitisticAsymmetry/Nakayama/50 declarations, 0 contain sorry, 0 declared as axioms; 3 files