Theorem Matrix.conjTranspose_map

Modification history