Theorem isLeast_Ici

Modification history