Properties of real functions (1990)

by Jaros̷law Kotowicz
Venue:Formalized Mathematics