Skip to content

ja: use the Japanese mathematical terms - #730

Merged
moritz-gross merged 8 commits into
daisy:jafrom
yasumorishima:ja-terminology
Aug 31, 2026
Merged

ja: use the Japanese mathematical terms#730
moritz-gross merged 8 commits into
daisy:jafrom
yasumorishima:ja-terminology

Commits

Commits on Aug 29, 2026

Commits on Aug 30, 2026