Theorem CategoryTheory.rightDistributor_ext₂_left

Modification history