Theorem CircleDeg1Lift.translationNumber_mono

Modification history