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

Sertug17 wants to merge 2 commits into

base:masterbase/docs:masterfrom

Sertug17:docs/fix-duplicate-is-typoSertug17/docs:docs/fix-duplicate-is-typoCopy head branch name to clipboard