Theorem Matrix.conjTranspose_list_prod

Modification history