Theorem Set.natCard_smul_set₀

Modification history