Theorem closure_diff

Modification history