卢多维克·亨利奥 📧,弗洛里安·坎米勒 📧,比安卡·卢茨 📧和亨利·苏德夫 📧
2010年4月30日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
本地无名称-Sigma-AFP
@第{条本地无名称-Siga-AFP,author={Ludovic Henrio和Florian Kammüller以及Bianca Lutz和Henry Sudhof},title={局部无名Sigma微积分},journal={正式证据存档},月={四月},年份={2010},注意={\url{https://isa-afp.org/entries/Locally-Nameless-Sigma.html},形式证明开发},ISSN={2150-914x},}
旧版本: