Commit 2023-11-12 13:54 63c34b16
View on Github →refactor(CategoryTheory): change the API for opposite (co)products to accept general (co)fans (#8302)
refactor(CategoryTheory): change the API for opposite (co)products to accept general (co)fans (#8302)