Commit 2024-10-20 19:54 cf0049ec

View on Github →

feat(CategoryTheory): natural version of FullyFaithful.homEquiv (#17450)

Estimated changes