Conditions on a distributive law

Last updated Jan 27, 2023