antiSymmetric requires Show instance but doesn't print counterexample
Closed this issue · 1 comments
expipiplus1 commented
I think this probably goes for some other functions in that module too.
expipiplus1 commented
whoops, ignore me!
Closed this issue · 1 comments
I think this probably goes for some other functions in that module too.
whoops, ignore me!