mathlib
a47cda96 - refactor(algebra/group_with_zero/defs): use `is_*cancel_mul_zero` (#17963)

Commit

3 years ago

refactor(algebra/group_with_zero/defs): use `is_*cancel_mul_zero` (#17963)

Author

urkud

urkud

Parents

Loading