@第{zbMATH07499758条，作者={山崎、广岛和宫岛、Keiichi和Shidama、Yasunari}，标题={Ascoli-{Arzel{\`a}}定理}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={29}，数字={2}，页码={87--94}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0009}，关键词={68V20,46B50}，zbMATH={7499758}，Zbl={1483.68496}}