Def Function.Coequalizer.desc

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.descView on Github →