Theorem Submodule.colon_finsetInf

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_finsetInf View on Github →