Relations defined on sets (1990)

by Edmund Woronowicz
Venue:Formalized Mathematics