Theorem CircleDeg1Lift.commute_sub_nat

Modification history