Relations defined on sets (1989)
by
Edmund Woronowicz
| Venue: | Journal of Formalized Mathematics |
| Citations: | 441 - 0 self |







