Theorem CircleDeg1Lift.isUnit_iff_bijective

Modification history