Theorem extentClosure_empty

Modification history