Theorem CircleDeg1Lift.translationNumber_eq_of_semiconjBy

Modification history