Port equality and freshness helpers to current FCSL#19

JasonGross wants to merge 1 commit into

DistributedComponents:masterDistributedComponents/disel:masterfrom

theorem-labs:codex/rocq-dev-20260728theorem-labs/disel:codex/rocq-dev-20260728Copy head branch name to clipboard