Some properties of functions modul and signum (1990)

by Jan Popio̷lek
Venue:Formalized Mathematics