Theorem IsAbsoluteValue.abv_pow

Modification history