Theorem Matrix.unitOfDetInvertible_eq_nonsingInvUnit

Modification history