The Euclidean space (1991)

by Agata Darmochwał
Venue:Formalized Mathematics