Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submodule.neg_le

Modification history

2022-03-02 18:33
src/algebra/module/submodule_pointwise.lean
feat(algebra/module/submodule_pointwise): pointwise negation (#12405) …
Added submodule.neg_leView on Github →