mathlib3
a249c9a4 - feat(archive/imo): formalize IMO 1998 problem 2 (#4502)

Commit

5 years ago

feat(archive/imo): formalize IMO 1998 problem 2 (#4502)

References

#4925 - Make prime-avoidance branch build

Author

Oliver Nash

Parents

Loading