Theorem CircleDeg1Lift.commute_nat_add

Modification history