Theorem Cardinal.mk_smul_set₀

Modification history