Zulip Chat Archive

Stream: triage

Topic: issue #4013: properties of ring homomorphisms


view this post on Zulip Random Issue Bot (Dec 01 2020 at 14:24):

Today I chose issue 4013 for discussion!

properties of ring homomorphisms
Created by @Johan Commelin (@jcommelin) on 2020-09-01
Labels: feature-request

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

view this post on Zulip Random Issue Bot (Jan 04 2021 at 14:29):

Today I chose issue 4013 for discussion!

properties of ring homomorphisms
Created by @Johan Commelin (@jcommelin) on 2020-09-01
Labels: feature-request

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

view this post on Zulip Kevin Buzzard (Jan 04 2021 at 18:37):

It's most definitely still relevant, and a great guide to what we should be doing.

view this post on Zulip Random Issue Bot (Feb 07 2021 at 14:18):

Today I chose issue 4013 for discussion!

properties of ring homomorphisms
Created by @Johan Commelin (@jcommelin) on 2020-09-01
Labels: feature-request

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


Last updated: May 09 2021 at 16:20 UTC