Theorem Matrix.inv_zpow

Modification history