Theorem Set.Nat.card_coe_set_eq

Modification history