wiki:TypeNats/Interact2

Version 1 (modified by diatchki, 3 years ago) (diff)

--

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