TypeNats/Interact2

Version 1 (modified by diatchki, 2 years ago)

-- 

(a + b ~ c, a + b ~ d) <=> c = d
(a + b ~ d, b + a ~ d) <=> c = d
...