Some properties of functions modul and signum (1989)

by Jan Popiołek
Venue:Journal of Formalized Mathematics