To Search
Back
Add Comment
Topics
Vote
Results
setoid
a set equipped with an equivalence relation in constructive mathematics
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?
anonymous
This comment is a:
Submit