Theorem CategoryTheory.Limits.pullbackDiagonalMapIso_inv_snd_snd

Modification history