Theorem CircleDeg1Lift.translate_iterate

Modification history