Theorem CategoryTheory.Limits.Over.prodLeftIsoPullback_inv_snd

Modification history