Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-11 00:53 694dd117

View on Github →

feat(archive/imo): IMO 2001 Q6 (#8327) Formalization of the problem Q6 of 2001.

Estimated changes

added theorem imo2001_q6