Theorem CircleDeg1Lift.commute_add_int

Modification history