Theorem IsGreatest.isLeast_image2

Modification history