Theorem CircleDeg1Lift.translationNumber_eq_rat_iff

Modification history