Theorem Matrix.inv_zpow'

Modification history