Theorem CircleDeg1Lift.commute_add_nat

Modification history