Theorem Sym2.GameAdd.induction

Modification history