Def category_theory.pi.has_limit_of_has_limit_comp_eval

Modification history