Commit 2025-06-07 22:05 bb076f5f

View on Github →

feat(Geometry/Euclidean/Triangle): remove hypothesis from angle_add_angle_add_angle_eq_pi (#25559) It turns out that angle_add_angle_add_angle_eq_pi can be proved with one condition less :)

Estimated changes