Theorem extent_closure_anti

Modification history