Theorem IsLeast.isLeast_image2_of_isGreatest

Modification history