Mathlib v3 is deprecated. Go to Mathlib v4

Theorem orientation.oangle_sub_eq_oangle_sub_rev_of_norm_eq

Modification history