Skip to content

Try to store only delta's in translator Part 1#1278

Open
ordinarymath wants to merge 2 commits intomasterfrom
useThmsetdataslightlybetter
Open

Try to store only delta's in translator Part 1#1278
ordinarymath wants to merge 2 commits intomasterfrom
useThmsetdataslightlybetter

Commits

Commits on Dec 5, 2025

Commits on Dec 6, 2025