HomeIsabelle/Phabricator

Distributed_Distinct_Elements: Swap epsilon/delta for the spec of the algorithm.

Description

Distributed_Distinct_Elements: Swap epsilon/delta for the spec of the algorithm.

The reason is to preserve consistency with the upcoming publication to appear at RANDOM 2023.