Theorem CategoryTheory.Limits.pullbackDiagonalMapIso_inv_fst

Modification history