Theorem Sym2.GameAdd.snd_fst

Modification history