Theorem CategoryTheory.leftDistributor_hom

Modification history