OAI/RingTheory/
10205 declarations, 0 contain sorry, 0 declared as axioms; 536 files
Folders
- BassTrace/ 73 files, 1724 declarations
- DirectFiniteness/ 126 files, 1114 declarations
- DivisionRing/ 1 files, 2 declarations
- FormalGroup/ 5 files, 62 declarations
- GroupAction/ 1 files, 17 declarations
- Interpolation/ 1 files, 21 declarations
- Kurosh/ 20 files, 160 declarations
- Multiplicity/ 278 files, 4262 declarations
- Tachikawa/ 31 files, 2843 declarations