Inductive Function.Coequalizer.Rel

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