Theorem CircleDeg1Lift.commute_sub_int

Modification history