Theorem CircleDeg1Lift.semiconj_of_isUnit_of_translationNumber_eq

Modification history