Theorem isLeast_Icc

Modification history