mathlib3

archive(imo1988_q6): a formalization of Q6 on IMO1988

#1455

Merged