Theorem IsAbsoluteValue.abv_one

Modification history