Theorem Submodule.colon_inf_eq_left_of_subset

Modification history

2026-01-16 14:47
Mathlib/RingTheory/Ideal/Colon.lean
feat(RingTheory/Ideal): generalize Submodule.colon to sets (#33390) …
Added Submodule.colon_inf_eq_left_of_subsetView on Github →