Theorem CircleDeg1Lift.translationNumber_translate

Modification history