Def polynomial.nonzero_comm_semiring.of_polynomial_ne
Modification history
2020-05-29 22:20
src/data/polynomial.lean
chore(algebra): displace zero_ne_one_class with nonzero and make no_zero_divisors a Prop (#2847) …
Deleted polynomial.nonzero_comm_semiring.of_polynomial_neView on Github →