Theorem CategoryTheory.Limits.PreservesPullback.iso_hom_snd

Modification history