Theorem Submodule.span_range_natDegree_eq_adjoin

Modification history

2024-07-17 15:05
Mathlib/RingTheory/IntegralClosure/IsIntegral/Basic.lean
chore: Split RingTheory.IntegralClosure (#14826) …
Modified Submodule.span_range_natDegree_eq_adjoinView on Github →
2023-12-17 19:25
Mathlib/RingTheory/IntegralClosure.lean
feat: Dual basis of power basis wrt trace form (#8835)
Added Submodule.span_range_natDegree_eq_adjoinView on Github →