PR #16998: feat(ring_theory/zmod): add criterion for zmod...

Stream: triage

[Random Issue Bot]

Today I chose PR 16998 for discussion!

feat(ring_theory/zmod): add criterion for zmod to be a reduced ring
Created by @Alex J Best (@alexjbest) on 2022-10-14
Labels: awaiting-author

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