Theorem circleIntegrable_sub_inv_iff

Modification history