TY - RPRT TI - Is Crane--Yetter fully extended? AU - Luuk Stehouwer PY - 2025 UR - https://arxiv.org/abs/2506.04864 ID - 2506.04864 ER -