Theorem CategoryTheory.Limits.pullbackLeftPullbackSndIso_hom_fst

Modification history