DMCA

Binary operations (1989)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:363 - 6 self