Theorem closure_empty

Modification history