Commit 2025-12-20 07:33 090cf154
View on Github →chore: rename relId to setRelId in lemma names (#33073)
Rel was renamed to SetRel a while ago, but those names hadn't been updated. Also add an extra lemma to deal with non-symmetric relations.