Relations and their basic properties (1989)

by Edmund Woronowicz
Venue:Journal of Formalized Mathematics
Citations:1000 - 6 self