A basic distributive law (0)

by Francisco Marmolejo, Robert Rosebrugh, Richard Wood
Venue:Journal of Pure and Applied Algebra