Theorem Submodule.colon_eq_top_iff_le

Modification history

2026-10-18 20:09
Mathlib/RingTheory/Ideal/Colon.lean
feat(RingTheory/Ideal/Colon): add `colon_eq_top_iff_le` (#44965) …
Added Submodule.colon_eq_top_iff_leView on Github →