pgame): Add more congr lemmas (#13808)

Commit

3 years ago

feat(set_theory/game/pgame): Add more congr lemmas (#13808) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

vihdzp

Parents