Theorem Imo2024Q2.Condition.ab_add_one_dvd_a_pow_large_n_0_add_b

Modification history

2024-07-24 10:59
Archive/Imo/Imo2024Q2.lean
feat(Archive/Imo): IMO 2024 Q2 (#14920) …
Added Imo2024Q2.Condition.ab_add_one_dvd_a_pow_large_n_0_add_bView on Github →