mathlib
8b8f9bd2 - refactor(algebra/ne_zero): flip the dependency on data/nat/cast

Commit

3 years ago

refactor(algebra/ne_zero): flip the dependency on data/nat/cast

References

eric-wieser/move-ne_zero

Author

eric-wieser

eric-wieser

Parents

Loading