Theorem Matrix.one_div_zpow

Modification history