Machine generated authority record.
Work cat.: (OSt): Shukla N 9592, "Measure Theory: Separation Axium, Banach Space and Compectedness"