Theorem Function.support_const_smul_subset

Modification history