equivalence name

equivalence Equivalence of codes equivalence function equivalence question Equivalence retation equivalence of types equivalence algorithm equivalence of lenses equivalence on effect equivalence partition equivalence potential