Theorem CircleDeg1Lift.map_fract_sub_fract_eq

Modification history