Properties of partial functions from a domain to the set of real numbers (1992)

by Jarosław Kotowicz, Yuji Sakai
Venue:Formalized Mathematics