Theorem CircleDeg1Lift.le_ceil_map_map_zero

Modification history