Theorem AffineEquiv.map_midpoint

Modification history