Theorem CategoryTheory.Limits.pullbackLeftPullbackSndIso_inv_fst

Modification history