Theorem CategoryTheory.Limits.isIso_limit_cone_parallelPair_of_self

Modification history