Theorem IsAbsoluteValue.abv_inv

Modification history