Theorem Nat.card_congr

Modification history