Theorem Concept.snd_subset_snd_iff

Modification history