Theorem euclidean_geometry.right_ne_of_oangle_ne_zero

Modification history