Yamazaki, H., Miyajima, K., & Shidama, Y. (2021). Functional Space Consisted by Continuous Functions on Topological Space. Formalized Mathematics, 29(1), 49-62. https://doi.org/10.2478/forma-2021-0005
Chicago-Zitierstil (17. Ausg.)Yamazaki, Hiroshi, Keiichi Miyajima, und Yasunari Shidama. "Functional Space Consisted by Continuous Functions on Topological Space." Formalized Mathematics 29, no. 1 (2021): 49-62. https://doi.org/10.2478/forma-2021-0005.
MLA-Zitierstil (9. Ausg.)Yamazaki, Hiroshi, et al. "Functional Space Consisted by Continuous Functions on Topological Space." Formalized Mathematics, vol. 29, no. 1, 2021, pp. 49-62, https://doi.org/10.2478/forma-2021-0005.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.