Theorem IsLeast.isGreatest_image2

Modification history