pgame): Conway induction on games (#13699)

Commit

3 years ago

feat(set_theory/game/pgame): Conway induction on games (#13699) This is a more convenient restatement of the induction principle of the type.

Author

vihdzp

Parents