Theorem iSup_disjointed

Modification history