Theorem Nat.card_multiples'

Modification history