Theorem CategoryTheory.leftDistributor_ext₂_left

Modification history