Theorem CircleDeg1Lift.translationNumber_pow

Modification history