Theorem CategoryTheory.Limits.pullbackDiagonalMapIso.inv_snd_fst

Modification history