Theorem CircleDeg1Lift.transnumAuxSeq_dist_lt

Modification history