Theorem CircleDeg1Lift.dist_map_zero_lt_of_semiconj

Modification history