Theorem CircleDeg1Lift.translationNumber_one

Modification history