Theorem CategoryTheory.leftDistributor_ext_right

Modification history