Theorem CircleDeg1Lift.semiconjBy_iff_semiconj

Modification history