Theorem CategoryTheory.leftDistributor_assoc

Modification history