Random Issue Bot (Jan 04 2021 at 14:29):
Today I chose PR 5361 for discussion!
feat(analysis/real/polynomial): preparations for Liouville
Created by @Jujian Zhang (@jjaassoonn) on 2020-12-14
Is this PR still relevant? Any recent updates? Anyone making progress?
Damiano Testa (Jan 04 2021 at 14:43):
I have been making progress on simplifying the arguments and streamlining the proofs. I have been already adding some lemmas to mathlib, precisely with this goal in mind!
Last updated: May 09 2021 at 15:11 UTC