Theorem CircleDeg1Lift.translate_pow

Modification history