Theorem Ideal.constr_basisSpanSingleton
Modification history
2024-04-19 13:15
Mathlib/RingTheory/Ideal/Basis.lean
chore: small splits of `RingTheory.Ideal.Operations`; clean imports (#12090) …
Modified Ideal.constr_basisSpanSingletonView on Github →