Theorem CircleDeg1Lift.floor_map_map_zero_le

Modification history