Completeness of the σ-additive measure. Measure theory (1992)

by Józef Białas
Venue:Journal of Formalized Mathematics
Citations:4 - 2 self