Theorem Matrix.upper_two_blockTriangular

Modification history