Theorem Concept.intent_sup

Modification history