Theorem CategoryTheory.leftDistributor_ext_left

Modification history