Theorem CircleDeg1Lift.le_map_map_zero

Modification history