Theorem extentClosure_anti

Modification history