Theorem CircleDeg1Lift.map_add_int

Modification history