Theorem CircleDeg1Lift.map_one_add

Modification history