Theorem CircleDeg1Lift.le_map_of_map_zero

Modification history