Theorem CircleDeg1Lift.translationNumber_mul_of_commute

Modification history