Theorem Ring.inverse_pow

Modification history