mathlib
879cd107 - make proof sketch for highly_composite.smaller_prime_dvd

Commit

2 years ago

make proof sketch for highly_composite.smaller_prime_dvd

Author

nielsvoss

nielsvoss

Parents

Loading