Theorem infClosed_sInter

Modification history