Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-14 23:14 8d3e8b5b

View on Github →

feat(archive/imo): IMO 1977 Q6 (#7097) Formalization of IMO 1977/6

Estimated changes

Created archive/imo/imo1977_q6.lean

added theorem imo1977_q6

added theorem imo1977_q6_nat