Theorem circleIntegrable_sub_zpow_iff

Modification history