Theorem AffineMap.mk'_linear

Modification history