Def CategoryTheory.Limits.isBilimitOfIsColimit

Modification history