Theorem Matrix.toSquareBlockProp_def

Modification history