You are viewing a single comment's thread.

view the rest of the comments →

1
-1

[–] 16697821? 1 point -1 points (+0|-1) ago 

Yes, check it out at Qmap under Proofs on the left.