Theorem CategoryTheory.Limits.isIso_colimit_cocone_parallelPair_of_eq

Modification history