Theorem affineSegment_eq_segment

Modification history