Theorem SetLike.Homogeneous.graded_smul

Modification history