Theorem CircleDeg1Lift.translationNumber_conj_eq

Modification history