Theorem CategoryTheory.Limits.pullbackRightPullbackFstIso_inv_snd_snd

Modification history