Commit 2025-11-04 21:16 f3e08c76
View on Github →feat(Logic/Relation): a relation is reflexive iff it subsumes the equality relation (#30557) feat(Logic/Relation): a relation is reflexive iff it subsumes the equality relation, and irreflexive iff the inequality relation subsumes it