Theorem CategoryTheory.Limits.pullbackDiagonalMapIso.inv_snd_snd

Modification history