mathlib
b03ce616 - chore(set_theory/game): various cleanup and code golf (#3939)

Commit

5 years ago

chore(set_theory/game): various cleanup and code golf (#3939)

References

#4925 - Make prime-avoidance branch build

Author

TwoFX

TwoFX

Parents

Loading