Theorem isLeast_univ

Modification history