Theorem mem_smul_of_egauge_lt

Modification history