Theorem CircleDeg1Lift.dist_pow_map_zero_mul_translationNumber_le

Modification history