Theorem Concept.strict_anti_snd

Modification history