Theorem Concept.inf_snd

Modification history