OAI/Algebra/FinitisticAsymmetry/Augmentation/
24 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Directed.lean 13 declarations
- SplitBasic.lean 11 declarations
OAI/Algebra/FinitisticAsymmetry/Augmentation/24 declarations, 0 contain sorry, 0 declared as axioms; 2 files