Theorem intentClosure_empty

Modification history