chore(data/nat/prime): restate card_multiples without finset.sep (#12625)
chore(data/nat/prime): restate card_multiples without finset.sep (#12625)

As suggested by Eric Wieser in #12592.







leanprover-community/mathlib,leanprover-community/mathlib