Theorem intent_closure_anti

Modification history