Theorem Submodule.colon_empty

Modification history

2026-01-16 14:47

Mathlib/RingTheory/Ideal/Colon.lean

feat(RingTheory/Ideal): generalize Submodule.colon to sets (#33390) …

Added Submodule.colon_empty View on Github →