Commit 2026-08-06 00:12 77dbaac8
View on Github →feat: tag circle integrability as fun_prop (#41225)
On a suggestion of @j-loreaux, tag circle integrability as fun_prop to aid proof automatization.
Note: Experiments show that much of the automatization benefit is realized only if MeromorphicOn will also become fun_prop. This is out of scope here, but will be addressed in a follow-up PR.
Disclaimer: Clode Code was used in the preparation of this PR.