Theorem isLUB_univ

Modification history