Theorem CategoryTheory.rightDistributor_ext_left

Modification history