Def category_theory.preserves_finite_limits_iff_Lan_preserves_finite_limits

Modification history