prime): restate card_multiples without finset.sep (#12625)

Commit

4 years ago

chore(data/nat/prime): restate card_multiples without finset.sep (#12625) As suggested by Eric Wieser in #12592.

Author

Ruben-VandeVelde

Parents