Theorem IsAbsoluteValue.abv_one'

Modification history