Def category_theory.normal_of_is_pullback_snd_of_normal

Modification history