Образец цитирования:
Я. Варшавский, Д. А. Каждан, “Лемма Йонеды для полных пространств Сигала”, Функц. анализ и его прил., 48:2 (2014), 3–38; Funct. Anal. Appl., 48:2 (2014), 81–106
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024, 274