Theorem intentClosure_swap

Modification history