Def category_theory.preserves_limit_of_Lan_presesrves_limit

Modification history