Theorem CategoryTheory.rightDistributor_hom

Modification history