Theorem Matrix.pow_sub'

Modification history