mathlib
be018dc9 - Add lemma `multiplicative_factorization` (proof incomplete)

Commit

4 years ago

Add lemma `multiplicative_factorization` (proof incomplete)

Author

stuart-presnell

stuart-presnell

Parents

Loading