Mathlib v3 is deprecated. Go to Mathlib v4

Theorem left_ne_zero_of_mul

Modification history

2020-07-01 23:16

src/algebra/group_with_zero.lean

chore(algebra/*): deduplicate `*_with_zero`/`semiring`/`field` (#3259) …

Added left_ne_zero_of_mul View on Github →