Def category_theory.limits.walking_span_functor

Modification history