Theorem CircleDeg1Lift.map_nat_add

Modification history