Theorem Concept.intent_sSup

Modification history