Def CategoryTheory.Limits.isBilimitOfIsLimit

Modification history