Theorem sup_biSup

Modification history