Theorem Submodule.annihilator_map_mkQ_eq_colon

Modification history

2024-12-31 21:01
Mathlib/RingTheory/Ideal/Colon.lean
chore(RingTheory/Ideal/Colon): generalize to semiring (#18595) …
Added Submodule.annihilator_map_mkQ_eq_colonView on Github →