Theorem CategoryTheory.Limits.pullbackDiagonalMapIso.inv_fst

Modification history