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

ja: set membership is 属さない, not 所属しない (belonging to an organisation)

3ee8696
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and fuzz (with MathML dict + corpus cache)
succeeded Aug 30, 2026 in 2h 7m 53s