Theorem extentClosure_union

Modification history