Theorem subset_intent_closure_extent_closure

Modification history