Theorem supClosed_sInter

Modification history