Theorem Set.ncard_coe_finset

Modification history