Theorem right_mem_affineSegment

Modification history