Theorem CategoryTheory.Limits.pullbackRightPullbackFstIso_hom_fst

Modification history