Theorem closure_mono

Modification history