Theorem Function.Coequalizer.desc_mk

Modification history

2025-02-13 22:37
Mathlib/Logic/Function/Coequalizer.lean
chore(CategoryTheory): move coequalizer in `Type` to earlier file (#21824) …
Added Function.Coequalizer.desc_mkView on Github →