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