@misc{sumire:2610.00003:4:v6, author = {hora}, title = {{Internal hom for Conway addition}}, year = {2026}, note = {SUMIRE:2610.00003/4, v6}, url = {https://sumire.aiformath.jp/p/2610.00003/n/4/v/6} }