Theorem CircleDeg1Lift.transnumAuxSeq_zero

Modification history