Def CategoryTheory.Limits.isBinaryBilimitOfIsLimit

Modification history