Theorem AbsoluteValue.IsNontrivial.exists_abv_lt_one

Modification history