Theorem Submodule.span_neg_eq_neg

Modification history

2025-04-09 09:12
Mathlib/Algebra/Module/Submodule/Pointwise.lean
chore(Submodule/Pointwise): rename `Submodule.closure_neg` (#23853) …
Added Submodule.span_neg_eq_negView on Github →