Theorem PGame.equiv_of_eq

Modification history