*): add IMO 1972 B2, move IMOs to a subdirectory (#4209)

Commit

5 years ago

feat(archive/imo/*): add IMO 1972 B2, move IMOs to a subdirectory (#4209) Co-authored-by: Ruben Van de Velde. Co-authored-by: Stanislas Polu <spolu@openai.com>

References

#4925 - Make prime-avoidance branch build

Author

Stanislas Polu

Parents

994c31d0

mathlib 392d3e37 - feat(archive/imo/*): add IMO 1972 B2, move IMOs to a subdirectory (#4209)

mathlib
392d3e37 - feat(archive/imo/*): add IMO 1972 B2, move IMOs to a subdirectory (#4209)