Theorem inv_pow_strictAnti

Modification history