Commit 2023-12-01 21:17 f04afed5

View on Github →

chore: Remove le_antisymm' (#8760) This was a duplicate of le_antisymm for use in e-match, but e-matching never was ported.

Estimated changes