Theorem FractionalIdeal.spanSingleton_eq_spanSingleton
Modification history
2026-01-13 19:40
Mathlib/RingTheory/FractionalIdeal/Operations.lean
chore(Algebra): replace `NoZeroSMulDivisors` with `Module.IsTorsionFree` wlog (#30563) …
Modified FractionalIdeal.spanSingleton_eq_spanSingletonView on Github →