Theorem Module.support_quotient

Modification history

2025-03-26 11:53
Mathlib/RingTheory/Support.lean
feat(RingTheory): support of quotient module (#20292)
Added Module.support_quotientView on Github →