Theorem Matrix.zero_zpow

Modification history