feat(OEIS/80170): mark conjecture as solved by guodk · Pull Request #4253 · google-deepmind/formal-conjectures

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

@guodk

The following contributors were found for this pull request:

✅ 33af73c Author: @guodk <gu*****97@gmail.com>
✅ 8abd9e5 Author: @mo271 <fi*****ng@google.com>

(Only the first commit for a unique contributor is listed.)