Theorem orientation.right_ne_zero_of_oangle_eq_neg_pi_div_two

Modification history