Zulip Chat Archive

Stream: PR reviews

Topic: PRs from FLT

Matthew Jasper (Jul 29 2025 at 14:33):

#24527 is blocking further module topology upstreaming from FLT.
#26783 upstreams some results on flatness that will be used soon.

Ruben Van de Velde (Jul 29 2025 at 15:57):

#27549 has a tiny lemma about submodules
#27042 has a bunch of lemmas about WithZero

Last updated: Dec 20 2025 at 21:32 UTC