mathlib
a16f1cfe - feat(set_theory/game/basic): cast inequalities on `pgame` to `game` (#14405)

Commit

3 years ago

feat(set_theory/game/basic): cast inequalities on `pgame` to `game` (#14405)

Author

vihdzp

vihdzp

Parents

Loading