Theorem Matrix.zpow_ne_zero_of_isUnit_det

Modification history