Theorem CategoryTheory.Over.prodLeftIsoPullback_hom_snd

Modification history