Zulip Chat Archive
Stream: triage
Topic: PR !4#25993: feat(Algebra/Group/Units/Hom): add map lemmas
Random Issue Bot (Oct 13 2025 at 14:11):
Today I chose PR #25993 for discussion!
feat(Algebra/Group/Units/Hom): add map lemmas
Created by @David Kurniadi Angdinata (@Multramate) on 2025-06-16
Labels: awaiting-author, t-algebra
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC