A constructive closed graph theorem (1990)

by HAJIME ISHIHARA