Theorem Concept.snd_ssubset_snd_iff

Modification history