mathlib
6ad1a55f - feat(set_theory/game/pgame): induction on left/right moves of add/mul (#14345)

Commit

3 years ago

feat(set_theory/game/pgame): induction on left/right moves of add/mul (#14345)

Author

vihdzp

vihdzp

Parents

Loading