Commit 2026-04-26 08:47 fb5d4d1a

View on Github →

chore: fix trivial typo in theorem name (#38541) Fix a trivial typo in one theorem name.

Estimated changes

added theorem circleIntegrable_congr
deleted theorem crcleIntegrable_congr