Theorem iSup_pair

Modification history