OAI/RingTheory/Kurosh/
160 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- AlgebraicClosure.lean 4 declarations
- ConditionalConstruction.lean 1 declarations
- FiniteDescent.lean 14 declarations
- FreeSeries.lean 32 declarations
- Independence.lean 1 declarations
- IndependentWords.lean 3 declarations
- InfiniteDimension.lean 3 declarations
- Lifting.lean 8 declarations
- LiftingStages.lean 7 declarations
- LimitEvaluation.lean 6 declarations
- LimitScalars.lean 7 declarations
- Main.lean 19 imports, no declarations
- RetainedRelations.lean 6 declarations
- ScalarChange.lean 8 declarations
- ScheduledLimit.lean 4 declarations
- ScheduledTowers.lean 19 declarations
- SeriesAlgebra.lean 20 declarations
- TangentDirections.lean 2 declarations
- Ultraproduct.lean 7 declarations
- WordGrowth.lean 8 declarations