Theorem Matrix.inv_pow'

Modification history