Functional space consisted by continuous functions on topological space
From MaRDI portal
Publication:2664719
DOI10.2478/forma-2021-0005zbMath1473.68213OpenAlexW3198469467MaRDI QIDQ2664719
Keiichi Miyajima, Yasunari Shidama, Hiroshi Yamazaki
Publication date: 17 November 2021
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2021-0005
Topological linear spaces of continuous, differentiable or analytic functions (46E10) Formalization of mathematics in connection with theorem provers (68V20)
Related Items
Uses Software
Cites Work