PR #16997: feat(algebra/ring/divisibility): add sub versi...

Stream: triage

[Random Issue Bot]

Today I chose PR 16997 for discussion!

feat(algebra/ring/divisibility): add sub versions of some divisibility lemmas
Created by @Alex J Best (@alexjbest) on 2022-10-14
Labels: awaiting-author

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