Commit 2025-02-22 09:21 90fb8009

View on Github →

feat(CategoryTheory): explicit argument versions of epi_comp and mono_comp (#22181) We should have added them five years ago. Better late than never?

Estimated changes