Commit 2023-11-10 13:54 9e03d9ce

View on Github →

fix: make primeFactors_one about one (#8315)

Estimated changes

modified theorem Nat.primeFactors_one