Theorem CircleDeg1Lift.commute_int_add

Modification history