Theorem Valuation.val_lt_one_iff

Modification history