Theorem mem_closure_isSwap

Modification history