Theorem CategoryTheory.Limits.pullbackDiagonalMapIso.hom_fst

Modification history