Theorem CircleDeg1Lift.ceil_map_map_zero_le

Modification history