Relations and their basic properties (1989)

by Edmund Woronowicz
Venue:http://mizar.org/JFM/ Vol1/relat_1.html. Received October 22, 1998 Published