Theorem SetTheory.PGame.equiv_of_eq

Modification history