Theorem rotation_ne_conjLie

Modification history