mathlib
719f05f5 - Remove `factorization_eq_zero_iff_remainder'`

Commit

3 years ago

Remove `factorization_eq_zero_iff_remainder'`

References

#16231 - feat(data/nat/factorization/basic): lemmas about factorizations of sums and subtractions

Author

stuart-presnell

stuart-presnell

Parents

Loading