Theorem CategoryTheory.Subobject.inf_eq_map_pullback

Modification history