mathlib3
e91c4253 - refactor(set_theory/game/*): remove `relabelling`

Commit

2 years ago

refactor(set_theory/game/*): remove `relabelling`

References

FR_game_relabelling

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

Author

astrainfinita

astrainfinita

Parents

Loading