Theorem Set.image_affine_Icc'

Modification history