mathlib
509fd17a - Change `factorization_mul_of_pos` to `factorization_mul`

Commit

4 years ago

Change `factorization_mul_of_pos` to `factorization_mul`

Author

stuart-presnell

stuart-presnell

Parents

Loading