mathlib
855fd1cd - feat(set_theory/game/pgame): define `pgame.identical`

Commit

2 years ago

feat(set_theory/game/pgame): define `pgame.identical`

References

#18518 - refactor(set_theory/game/*): remove `relabelling`

Author

astrainfinita

astrainfinita

Parents

Loading