Theorem CircleDeg1Lift.translationNumber_le_ceil_sub

Modification history