Theorem CircleDeg1Lift.translate_inv_apply

Modification history