Zulip Chat Archive
Stream: triage
Topic: PR !4#6993: feat : lemmas about `AddMonoidAlgebra.{divOf,...
Random Issue Bot (Oct 09 2025 at 14:11):
Today I chose PR #6993 for discussion!
feat : lemmas about AddMonoidAlgebra.{divOf, modOf}
Created by Jujian Zhang (@jjaassoonn) on 2023-09-06
Labels: merge-conflict, t-algebra
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC