Theorem Algebra.IsAlgebraic.bijective_of_isScalarTower'

Modification history

2023-11-17 13:15

Mathlib/RingTheory/Algebraic.lean

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

Modified Algebra.IsAlgebraic.bijective_of_isScalarTower'View on Github →

2023-11-02 16:15

Mathlib/RingTheory/Algebraic.lean

feat: Galois orbits in a normal extension are determined by minimal polynomials (#8028) …

Added Algebra.IsAlgebraic.bijective_of_isScalarTower'View on Github →