Theorem invOf_pow

Modification history