Theorem CategoryTheory.Subobject.inf_eq_map_pullback'

Modification history