Theorem CircleDeg1Lift.dist_map_zero_translationNumber_le

Modification history