Skip to content

Change the string representation of ∈ to 'elem', of ordered pair to 'pair'

Viktor Kuncak requested to merge github/fork/cache-nez/renamings into main

Created by: cache-nez

Rename the unordered_pair function label to unorderedPair.

Merge request reports