Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #2830 from obophenotype/remove-ro-axiom
Remove local logical axioms from `simultaneous with`
- Loading branch information