mathlib3
65edf255 - feat(set_theory/game/pgame): `x.move_left i < x` and variants (#13654)

Commit

3 years ago

feat(set_theory/game/pgame): `x.move_left i < x` and variants (#13654)

Author

vihdzp

vihdzp

Parents

Loading