Commit 2026-03-02 16:30 b0a8bdbc

View on Github →

feat(CategoryTheory/Monoidal/Grp_): zero morphisms in Grp C (#35982)

Estimated changes