Theorem Concept.sup_snd

Modification history