Štěpančík, V. (2025). Formalizing the zigzag construction of path spaces of pushouts.
Chicago Style (17th ed.) CitationŠtěpančík, Vojtěch. Formalizing the Zigzag Construction of Path Spaces of Pushouts. 2025.
MLA (9th ed.) CitationŠtěpančík, Vojtěch. Formalizing the Zigzag Construction of Path Spaces of Pushouts. 2025.
Warning: These citations may not always be 100% accurate.