pgame): Cleanup (#13612)

Commit

3 years ago

chore(set_theory/game/pgame): Cleanup (#13612) We remove redundant parentheses, and make arguments explicit when they can't be inferred.

Author

vihdzp

Parents