Theorem DirectSum.support_smul

Modification history