Theorem CircleDeg1Lift.forall_map_sub_of_Icc

Modification history