Baire category theorem (Q1052678)
theorem
Language: