Theorem orientation.left_ne_zero_of_oangle_eq_pi

Modification history