Zulip Chat Archive

Stream: triage

Topic: PR #5361: feat(analysis/real/polynomial): preparations fo...

view this post on Zulip 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
Labels: WIP

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip 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