Theorem CategoryTheory.Limits.Over.prodLeftIsoPullback_inv_fst

Modification history