Theorem AffineMap.image_uIcc

Modification history