Theorem Concept.intent_ssubset_intent_iff

Modification history