Theorem infClosure_mono

Modification history