Def MonCat.free

Modification history

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