Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_neg_self_iff

Modification history

2021-01-15 05:41
src/algebra/ordered_ring.lean
chore(algebra/ordered_ring): add a few simp lemmas (#5749) …
Added le_neg_self_iffView on Github →