Commit 2021-09-22 12:11 7e350c24
View on Github →feat(category_theory/*): Fully faithful functors induces equivalence (#9322) Needed for AffineSchemes ≌ CommRingᵒᵖ.
feat(category_theory/*): Fully faithful functors induces equivalence (#9322) Needed for AffineSchemes ≌ CommRingᵒᵖ.