Theorem AffineMap.map_midpoint

Modification history