Theorem CategoryTheory.Limits.pullbackLeftPullbackSndIso_inv_snd_snd

Modification history