Def CategoryTheory.rightDistributor

Modification history