OAI/Analysis/Kaplansky/Ultrapower/
138 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- ApproxPolar.lean 9 declarations
- Construction.lean 9 declarations
- CornerPolarCut.lean 4 declarations
- DenseUnits.lean 5 declarations
- MatrixDenseUnits.lean 9 declarations
- Maximal.lean 1 declarations
- PartialCorners.lean 3 declarations
- PartialIsometry.lean 15 declarations
- Polar.lean 2 declarations
- PolarDefect.lean 8 declarations
- PolarScalar.lean 12 declarations
- QuasiFinite.lean 5 declarations
- QuasiNull.lean 15 declarations
- QuasiValue.lean 10 declarations
- Quotient.lean 14 declarations
- UltraDiagonal.lean 2 declarations
- UltraSaturation.lean 10 declarations
- Unitary.lean 2 declarations
- Wandering.lean 3 declarations