Theorem orientation.left_ne_zero_of_oangle_eq_pi_div_two

Modification history