Theorem Ideal.colon_span

Modification history

2026-01-16 14:47

Mathlib/RingTheory/Ideal/Colon.lean

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

Added Ideal.colon_span View on Github →