Engineering↗
Mal'cev Conditions II: Congruence Distributivity and Jonsson Terms
Congruence-distributive varieties, the Jónsson term characterisation, Jónsson's lemma, and congruence modularity with Day terms.
Every page in the KEVOS library tagged congruence distributivity. 1 page.