Zulip Chat Archive

Stream: triage

Topic: issue #4033: properties of (sub)modules


view this post on Zulip Random Issue Bot (Nov 21 2020 at 14:18):

Today I chose issue 4033 for discussion!

properties of (sub)modules
Created by @Johan Commelin (@jcommelin) on 2020-09-03
Labels: feature-request

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

view this post on Zulip Random Issue Bot (Apr 12 2021 at 14:24):

Today I chose issue 4033 for discussion!

properties of (sub)modules
Created by @Johan Commelin (@jcommelin) on 2020-09-03
Labels: feature-request

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

view this post on Zulip Kevin Buzzard (Apr 12 2021 at 14:46):

flat modules are in ring_theory.flat and projective modules are PR'ed in #6813 (which I just put back on the queue today).


Last updated: May 09 2021 at 16:20 UTC