Theorem CircleDeg1Lift.translate_apply

Modification history