Theorem Submodule.neg_eq_self_iff_neg_le

Modification history

2026-03-14 20:09
Mathlib/Algebra/Module/Submodule/Pointwise.lean
feat(Algebra/Module/Submodule): Add pointwise negation lemma (#36634) …
Added Submodule.neg_eq_self_iff_neg_leView on Github →