Theorem CircleDeg1Lift.transnumAuxSeq_def

Modification history