DMCA

Relations defined on sets (1989)

by Edmund Woronowicz
Venue:Journal of Formalized Mathematics
Citations:510 - 0 self