Def CategoryTheory.leftDistributor

Modification history