Basic properties of real numbers (1990)

by Krzysztof Hryniewiecki
Venue:Formalized Mathematics