Theorem CategoryTheory.rightDistributor_assoc

Modification history