Theorem CategoryTheory.Over.prodLeftIsoPullback_hom_fst

Modification history