Theorem Cardinal.mk_smul_set

Modification history