mathlib
2a929f24 - feat(algebra/ne_zero): typeclass for n ≠ 0 (#11033)

Commit

4 years ago

feat(algebra/ne_zero): typeclass for n ≠ 0 (#11033) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents