Theorem Function.Coequalizer.condition

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