mathlib
275dd0f3 - feat(algebra/ne_zero): add helper methods (#14286)

Commit

3 years ago

feat(algebra/ne_zero): add helper methods (#14286) Also golfs the inspiration for one of these, and cleans up some code around the area.

Author

ericrbg

Parents