Def MonCat.adj

Modification history

2024-05-16 11:37
Mathlib/Algebra/Category/MonCat/Adjunctions.lean
chore: namespace and tidy MonCat/GroupCat adjunctions (#12948)
Added MonCat.adjView on Github →