Theorem AffineMap.decomp

Modification history