`OAI/Analysis/Kaplansky/Quotient/`

109 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

ClosedStarQuotient.lean 26 declarations
Extraction.lean 24 declarations
FiniteQuotient.lean 1 declarations
MatrixKernel.lean 9 declarations
MaximalClosedIdeal.lean 5 declarations
NullIdeal.lean 32 declarations
QuotientStable.lean 10 declarations
TracePullback.lean 2 declarations