Theorem rotation_ne_conjLIE

Modification history