OAI/Analysis/Kaplansky/
685 declarations, 0 contain sorry, 0 declared as axioms; 72 files
Folders
- Quotient/ 8 files, 109 declarations
- Regular/ 19 files, 191 declarations
- StableFiniteness/ 11 files, 51 declarations
- Ultrapower/ 19 files, 138 declarations
Files
- ActualAlgebra.lean 18 declarations
- BundlePolynomials.lean 24 declarations
- BundleWords.lean 19 declarations
- Main.lean 2 declarations
- MatrixImage.lean 17 declarations
- MatrixTest.lean 5 declarations
- Operators.lean 8 declarations
- PolynomialTest.lean 3 declarations
- Polynomials.lean 14 declarations
- Products.lean 25 declarations
- Shift.lean 17 declarations
- ShiftAlgebra.lean 6 declarations
- StableFiniteness.lean 1 declarations
- TestAlgebra.lean 23 declarations
- Words.lean 14 declarations