Theorem subset_extent_closure_intent_closure

Modification history