Basic properties of real numbers. (1990)

by Krzysztof Hryniewiecki
Venue:Formalized Mathematics,