Theorem CircleDeg1Lift.lt_map_map_zero

Modification history