Banach's continuous inverse theorem and closed graph theorem
type: Item
instance of: scholarly article
zbMATH Open document ID: 1283.46004
author: Hideki Sakurai
author: Hiroyuki Okazaki
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2013-10-08T00:00:00Z
Mathematics Subject Classification ID: 46A30
Mathematics Subject Classification ID: 03D99
zbMATH DE Number: 6213847
MaRDI profile type: Publication
full work available at URL: v10037-012-0032-y
OpenAlex ID: W2082235155
cites work: Cartesian products of family of real linear spaces
DOI: 10.2478/V10037-012-0032-Y
title: Banach's continuous inverse theorem and closed graph theorem
description: scientific article; zbMATH DE number 6213847