Functions and their basic properties (1990)

by Czesław Byliński
Venue:Formalized Mathematics