OAI/Algebra/
27355 declarations, 0 contain sorry, 0 declared as axioms; 2081 files
Folders
- AffineCancellation/ 55 files, 783 declarations
- AlgebraicObstruction/ 40 files, 641 declarations
- AuslanderReiten/ 732 files, 4598 declarations
- BogomolovPop/ 5 files, 288 declarations
- Cohomology/ 1 files, 22 declarations
- DepthFive/ 199 files, 1753 declarations
- Determinantal/ 57 files, 1494 declarations
- Divisor/ 2 files, 23 declarations
- Drinfeld/ 21 files, 3978 declarations
- FiniteTensor/ 52 files, 1072 declarations
- Finitistic/ 546 files, 4228 declarations
- FinitisticAsymmetry/ 42 files, 418 declarations
- FormalGroup/ 29 files, 491 declarations
- FormulaHitting/ 39 files, 511 declarations
- FrobeniusObstruction/ 35 files, 709 declarations
- GroupRing/ 124 files, 4641 declarations
- MarkedTensor/ 7 files, 153 declarations
- Module/ 1 files, 7 declarations
- OddKaplansky/ 87 files, 1374 declarations
- OrderedStates/ 2 files, 63 declarations
- PolynomialChains/ 1 files, 35 declarations
- Universal/ 4 files, 73 declarations