Theorem Matrix.isRegular_of_isLeftRegular_det

Modification history