Commit 2026-02-19 09:27 d9896de2
View on Github →chore(CategoryTheory/Subobject): correct inf_eq_map_pullback (#35395)
I'm fairly sure the previous version of inf_eq_map_pullback had a different statement than intended, indeed it was just inf_eq_map_pullback'.
I'm changing it to what it was probably intended to be, i.e. a statement about subobjects.