Theorem MulSalemSpencer.of_image

Modification history