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