Theorem Valuation.IsEquiv_iff_val_lt_one

Modification history