Theorem IsLUB.of_image

Modification history