Theorem StarModule.smul_lt_smul_of_pos

Modification history