mathlib3
c9f5cee2 - feat(set_theory/game/pgame): Add remark on relabelings (#13732)

Commit

3 years ago

feat(set_theory/game/pgame): Add remark on relabelings (#13732)

Author

vihdzp

vihdzp

Parents

Loading