Def yonedaMonObjMon_Class.ofRepresentableBy

Modification history

2025-05-11 10:35
Mathlib/CategoryTheory/Monoidal/Yoneda.lean
feat: Yoneda for (comm) group objects (#24118) …
Deleted yonedaMonObjMon_Class.ofRepresentableByView on Github →
2025-03-07 14:33
Mathlib/CategoryTheory/Monoidal/Yoneda.lean
chore: rename Mon_ClassOfRepresentableBy to Mon_Class.ofRepresentableBy (#22686)
Added yonedaMonObjMon_Class.ofRepresentableByView on Github →