Theorem IsCommMon.ofRepresentableBy
Modification history
2025-09-14 15:36
Mathlib/CategoryTheory/Monoidal/Cartesian/CommMon_.lean
chore: rename `Mod_Class` to `ModObj` (#29641) …
Deleted IsCommMon.ofRepresentableByView on Github →2025-05-11 10:35
Mathlib/CategoryTheory/Monoidal/Cartesian/CommMon_.lean
feat: Yoneda for (comm) group objects (#24118) …
Modified IsCommMon.ofRepresentableByView on Github →