Commit 2026-01-29 18:03 ef8457c0

View on Github →

feat(CategoryTheory): transport a NormalMono structure via an isomorphism of arrows (#34496)

Estimated changes