generated at
2/18/2025, 5:45:23 PM
反ループ化
delooping
ループ化
の逆操作
delooping in nLab