Commit 2026-01-26 05:40 9baf873d
View on Github →feat(Logic/Relation): transitive closure of symmetric relation is symmetric (#34382) This matches the ReflTransGen version
feat(Logic/Relation): transitive closure of symmetric relation is symmetric (#34382) This matches the ReflTransGen version