docs(holocene): remove duplicate "is" in derivation spec#1512

Sertug17 wants to merge 1 commit into

base:masterbase/docs:masterfrom

Sertug17:docs/fix-duplicate-is-typo-v2Sertug17/docs:docs/fix-duplicate-is-typo-v2Copy head branch name to clipboard