Closed l-emele closed 8 months ago
In #1730 duplicated axioms and wrong PR numbers were found.
Closes #1730
term tracker item
Summary of the discussion
In #1730 duplicated axioms and wrong PR numbers were found.
Type of change (CHANGELOG.md)
Updated
Removed
Workflow checklist
Automation
Closes #1730
PR-Assignee
term tracker item
Reviewer