Theorem Set.natCard_smul_set

Modification history