Theorem Module.not_mem_support_iff

Modification history

2025-05-25 12:30

Mathlib/RingTheory/Support.lean

chore(*): not_mem/nmem -> notMem (#25159)

Deleted Module.not_mem_support_iff View on Github →

2024-07-22 15:39

Mathlib/RingTheory/Support.lean

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

Added Module.not_mem_support_iff View on Github →