Theorem Imo1977Q6.imo1977_q6_nat

Modification history

2026-08-25 20:09
Archive/Imo/Imo1977Q6.lean
chore(Archive/Imo): convert to the module system (#42962) …
Deleted Imo1977Q6.imo1977_q6_natView on Github →
2023-06-16 11:05
Archive/Imo/Imo1977Q6.lean
feat: port Archive.Imo.Imo1977Q6 (#5131)
Added Imo1977Q6.imo1977_q6_natView on Github →