Theorem affineSegment_vadd_const_image

Modification history