Def CategoryTheory.Limits.isBinaryBilimitOfTotal

Modification history