Theorem EuclideanGeometry.angle_self_left

Modification history