#### DMCA

## The Euclidean space (1991)

by
Agata Darmochwał

Venue: | Journal of Formalized Mathematics |

Citations: | 174 - 1 self |