Theorem CategoryTheory.Limits.equalizerSubobject_of_self

Modification history

2026-02-12 18:48
Mathlib/CategoryTheory/Subobject/Limits.lean
chore(CategoryTheory/Subobject): missing simp lemma on self equalizers (#35177) …
Added CategoryTheory.Limits.equalizerSubobject_of_selfView on Github →