Commit 2025-02-21 08:37 bcb8ffbb

View on Github →

feat(CategoryTheory): IsDetecting.isIso_iff_of_mono (#22135)

Estimated changes