Theorem SetTheory.PGame.equiv_rfl

Modification history