wiki/concepts/equivalence_relation.md history