mathlib3
fe2b5ab0 - feat(set_theory/game/pgame): instances for empty moves of addition (#14297)

Commit

3 years ago

feat(set_theory/game/pgame): instances for empty moves of addition (#14297)

Author

vihdzp

vihdzp

Parents

Loading