Theorem Matrix.conjTranspose_nonsing_inv

Modification history