Commit 2026-03-02 12:12 6a2aa8df

View on Github →

feat(CategoryTheory/Monoidal/Grp_): Grp has terminal objects (#35967)

Estimated changes