Theorem isLeast_Ico

Modification history