mathlib
46480851 - Change `'prime_factorization` to `factorization` throughout

Commit

4 years ago

Change `'prime_factorization` to `factorization` throughout

Author

stuart-presnell

stuart-presnell

Parents

Loading