imo1975_q1): Add the formalization of IMO 1975 Q1 (#13047)

Commit

3 years ago

feat(archive/imo/imo1975_q1): Add the formalization of IMO 1975 Q1 (#13047) Co-authored-by: Mantas Bakšys <39908973+MantasBaksys@users.noreply.github.com>

Author

MantasBaksys

Parents

caa1352a

mathlib 55cd1047 - feat(archive/imo/imo1975_q1): Add the formalization of IMO 1975 Q1 (#13047)

mathlib
55cd1047 - feat(archive/imo/imo1975_q1): Add the formalization of IMO 1975 Q1 (#13047)