Theorem Submodule.colon_singleton_zero

Modification history

2026-01-18 12:21

Mathlib/RingTheory/Ideal/Colon.lean

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

Added Submodule.colon_singleton_zero View on Github →