Real function continuity. (1990)

by Konrad Raczkowski, Paweł Sadowski
Venue:Formalized Mathematics,