Theorem CategoryTheory.leftDistributor_rightDistributor_assoc

Modification history