Theorem det_rotation

Modification history