Theorem Nat.cast_card

Modification history