The Euclidean space (1991)

by Agata Darmochwa̷l
Venue:Formalized Mathematics