Theorem closure_compl

Modification history