Theorem WellFounded.sym2_gameAdd

Modification history