Theorem CategoryTheory.leftDistributor_ext₂_right

Modification history