Mathlib Changelog
v4
Changelog
About
Github
Theorem
Imo2006Q3.four_pow_four_pos
Modification history
2025-08-03 07:56
Archive/Imo/Imo2006Q3.lean
chore: replace `norm_num` with `simp` where applicable (#24064) …
Modified
Imo2006Q3.four_pow_four_pos
View on Github →
2023-06-21 05:19
Archive/Imo/Imo2006Q3.lean
feat: golf IMO 2006 q3 (#5319)
Modified
Imo2006Q3.four_pow_four_pos
View on Github →
2023-06-17 05:05
Archive/Imo/Imo2006Q3.lean
feat: port Archive.Imo.Imo2006Q3 (#5123)
Added
Imo2006Q3.four_pow_four_pos
View on Github →