Theorem Matrix.one_zpow

Modification history