pgame): Fix note on `pgame` (#13880)

Commit

3 years ago

docs(set_theory/game/pgame): Fix note on `pgame` (#13880) We never actually quotient by extensionality. What we quotient by is game equivalence.

Author

vihdzp

Parents