generated at
2/21/2025, 8:03:43 PM
ループ群
loop group
ループ代数
https://ja.wikipedia.org/wiki/ループ代数#ループ群
https://en.wikipedia.org/wiki/Loop_group