On the closed graph theorem (Q4093956)

From MaRDI portal