Improve comment of `TCEq`.
All threads resolved!
All threads resolved!
Compare changes
+ 6
− 4
@@ -195,10 +195,12 @@ Global Existing Instance TCElemOf_here.
@@ -195,10 +195,12 @@ Global Existing Instance TCElemOf_here.