Theorem linearEquiv_det_rotation

Modification history