Opening book details…
Algebraic Properties of Equality by Gim Reyes is a document available to read on EtoBox.