Theorem CircleDeg1Lift.translationNumber_of_eq_add_int

Modification history