basic): Inline instances (#13813)

Commit

3 years ago

feat(set_theory/game/basic): Inline instances (#13813) We also add a few missing instances.

Author

vihdzp

Parents