Theorem power_series.eq_zero_or_eq_zero_of_mul_eq_zero
Modification history
2022-12-05 14:00
src/ring_theory/power_series/basic.lean
chore(algebra/ring/defs): refactor `is_domain` (#17721) …
Modified power_series.eq_zero_or_eq_zero_of_mul_eq_zeroView on Github →