Theorem Concept.intent_subset_intent_iff

Modification history