大卫·特雷希特纳兹
2011年2月23日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9e88c17a723e
法新社/65f70952d452
列表-配置-AFP
@第{条列表信息-AFP,author={David Trachtenherz},title={无限列表},journal={正式证据存档},月={2月},年份={2011},注释={\url{https://isa-afp.org/entries/List-Infinite.html},形式证明开发},ISSN={2150-914x},}
旧版本: