Theorem CategoryTheory.rightDistributor_ext₂_right

Modification history