Theorem IsMax.snd

Modification history