Commit 2026-05-11 19:07 7e31c21f

View on Github →

feat(Perm/Fin): generalize sign_finRotate (#39209)

Estimated changes

modified theorem sign_finRotate