The Euclidean space (1991)

by Agata Darmochwa�l
Venue:Journal of Formalized Mathematics