Theorem IsLeast.isGreatest_image2_of_isGreatest

Modification history