Theorem CircleDeg1Lift.map_map_zero_lt

Modification history