Theorem lt_smul_iff_one_lt_left

Modification history