mathlib
0cfae438 - feat(archive/imo): IMO 2021 Q1 (#8432)

Commit
4 years ago
feat(archive/imo): IMO 2021 Q1 (#8432) Formalised solution to IMO 2021 Q1 Co-authored-by: MantasBaksys <39908973+MantasBaksys@users.noreply.github.com> Co-authored-by: MantasBaksys <baksys.mantas@gmail.com> Co-authored-by: Mantas Bakšys <39908973+MantasBaksys@users.noreply.github.com>
Author
Parents
Loading