Open Mapping Theorem

Open Mapping Theorem

Bibliographic Details
Main Authors: Sakurai Hideki, Kunimune Hisayoshi, Shidama Yasunari
Format: Article
Language:English
Published: Sciendo 2008-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-008-0048-5
id doaj-606cbde5a7fa475a967db8963de82954
record_format Article
spelling doaj-606cbde5a7fa475a967db8963de829542021-09-05T18:16:47ZengSciendoFormalized Mathematics1426-26301898-99342008-01-0116440140310.2478/v10037-008-0048-5Open Mapping TheoremSakurai Hideki0Kunimune Hisayoshi1Shidama Yasunari2Shinshu University, Nagano, JapanShinshu University, Nagano, JapanShinshu University, Nagano, Japanhttps://doi.org/10.2478/v10037-008-0048-5
collection DOAJ
language English
format Article
sources DOAJ
author Sakurai Hideki
Kunimune Hisayoshi
Shidama Yasunari
spellingShingle Sakurai Hideki
Kunimune Hisayoshi
Shidama Yasunari
Open Mapping Theorem
Formalized Mathematics
author_facet Sakurai Hideki
Kunimune Hisayoshi
Shidama Yasunari
author_sort Sakurai Hideki
title Open Mapping Theorem
title_short Open Mapping Theorem
title_full Open Mapping Theorem
title_fullStr Open Mapping Theorem
title_full_unstemmed Open Mapping Theorem
title_sort open mapping theorem
publisher Sciendo
series Formalized Mathematics
issn 1426-2630
1898-9934
publishDate 2008-01-01
url https://doi.org/10.2478/v10037-008-0048-5
work_keys_str_mv AT sakuraihideki openmappingtheorem
AT kunimunehisayoshi openmappingtheorem
AT shidamayasunari openmappingtheorem
_version_ 1717786152000290816

Similar Items