Theorem Module.mem_support_iff_of_finite

Modification history

2025-03-26 11:53

Mathlib/RingTheory/Support.lean

feat(RingTheory): support of quotient module (#20292)

Modified Module.mem_support_iff_of_finite View on Github →

2024-07-22 15:39

Mathlib/RingTheory/Support.lean

feat(RingTheory/Support): Define support of a module (#14507) …

Added Module.mem_support_iff_of_finite View on Github →