Commit 2023-12-26 07:50 1b3fc937

View on Github →

chore: Protect Nat.Prime.factorization (#9242) Else this conflicts with Nat.factorization.

Estimated changes

deleted theorem Nat.Prime.factorization