The Euclidean space. (1991)

by Agata Darmochwał
Venue:Formalized Mathematics,