Theorem intent_closure_union

Modification history