Theorem CategoryTheory.Over.prodLeftIsoPullback_inv_fst

Modification history