Relations defined on sets. (1990)

by Edmund Woronowicz
Venue:Formalized Mathematics,