Def CategoryTheory.Limits.isBinaryBilimitOfIsColimit

Modification history