Theorem intent_closure_swap

Modification history