Def CommRingCat.coyonedaAdj

Modification history

2025-02-08 18:21

Mathlib/Algebra/Category/Ring/Adjunctions.lean

feat(Algebra/Category): adjunctions in CommRingCat (#21427)

Added CommRingCat.coyonedaAdj View on Github →