Commit 2023-06-16 11:05 2725ab18

View on Github →

feat: port Archive.Imo.Imo1977Q6 (#5131)

Estimated changes

Modified Archive.lean

Created Archive/Imo/Imo1977Q6.lean

added theorem Imo1977Q6.imo1977_q6_nat

added theorem imo1977_q6