mathlib3
558e4e42 - Replace `factorization_eq_iff` with `factorization_inj`

Commit

4 years ago

Replace `factorization_eq_iff` with `factorization_inj`

Author

stuart-presnell

stuart-presnell

Parents

Loading