Theorem closure_closure

Modification history