prime): prime divisors (#10318)

Commit

4 years ago

feat(data/nat/prime): prime divisors (#10318) Adding some basic lemmas about `factors` and `factors.to_finset`

Author

stuart-presnell

Parents