Theorem Submodule.mem_colon_iff_le

Modification history

2026-01-18 12:21

Mathlib/RingTheory/Ideal/Colon.lean

feat(RingTheory/Ideal/Colon): add a few API lemmas (#34060) …

Added Submodule.mem_colon_iff_le View on Github →