Theorem Function.Coequalizer.mk_surjective

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