Theorem WithZero.lt_mul_exp_iff_le

Modification history