Theorem Matrix.zero_zpow_eq

Modification history