## Infimum and supremum of the set of real numbers. Measure theory (1990)

by
Józef Białas

Venue: | Journal of Formalized Mathematics |

Citations: | 26 - 9 self |