Def CategoryTheory.Limits.diagramIsoParallelPair

Modification history