Theorem isLUB_supₛ

Modification history