Theorem IsGreatest.isGreatest_image2_of_isLeast

Modification history