@hackage opentheory dependencies

6 results