factorization.lean

Commit

4 years ago

Update src/data/nat/factorization.lean Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

References

Author

khwilson

Parents