feat(set_theory/game/pgame): Conway induction on games (#13699)
feat(set_theory/game/pgame): Conway induction on games (#13699)

This is a more convenient restatement of the induction principle of the type.





leanprover-community/mathlib,leanprover-community/mathlib