Average value theorems for real functions of one variable (1990)

by Jarosław Kotowicz , Konrad Raczkowski , Paweł Sadowski
Venue:Formalized Mathematics
Citations:1 - 0 self