Theorem Matrix.isUnit_det_zpow_iff

Modification history