Skip to content

proof(SafeAngle): DISCHARGE fromTo{Degrees,Radians}Roundtrip via Refl (proven#90) - #106

Merged
hyperpolymath merged 1 commit into
mainfrom
proof/safeangle-roundtrip-anchors
May 30, 2026
Merged

proof(SafeAngle): DISCHARGE fromTo{Degrees,Radians}Roundtrip via Refl (proven#90)#106
hyperpolymath merged 1 commit into
mainfrom
proof/safeangle-roundtrip-anchors

Commits

  1. Commits on May 30, 2026