Theorem Algebra.IsAlgebraic.tower_top

Modification history

2024-05-16 14:20

Mathlib/RingTheory/Algebraic.lean

refactor: Turn Algebra.IsAlgebraic and Algebra.IsIntegral into classes (#12761) …

Modified Algebra.IsAlgebraic.tower_top View on Github →

2023-11-17 13:15

Mathlib/RingTheory/Algebraic.lean

chore(IntegralClosure): noncommutative generalizations and golfs (#8406) …

Added Algebra.IsAlgebraic.tower_top View on Github →