docs(proofs): correct claims that say more than the Agda states - #369

docs(proofs): correct claims that say more than the Agda states#369

hyperpolymath merged 2 commits into

mainhyperpolymath/echo-types:mainfrom

docs/proof-claims-audit-2026-11-09hyperpolymath/echo-types:docs/proof-claims-audit-2026-11-09Copy head branch name to clipboard