Proof of distributivity theorem in the equational logic

Printable View