Theorem CircleDeg1Lift.strictMono_iff_injective

Modification history