Theorem Valuation.one_lt_val_iff

Modification history