Theorem Imo2015Q6.exists_add_eq_of_mem_pool

Modification history

2025-04-09 03:56
Archive/Imo/Imo2015Q6.lean
feat: IMO 2015 Q6 (#23038)
Added Imo2015Q6.exists_add_eq_of_mem_poolView on Github →