Theorem CategoryTheory.Limits.isIso_limit_cocone_parallelPair_of_epi

Modification history