Join Slack
Powered by
A sealed hierarchy is also a disjoint union and yo...
# arrow
r
raulraja
01/18/2018, 11:59 PM
A sealed hierarchy is also a disjoint union and you can give it whatever semantics and as many cases as you want
Open in Slack
Previous
Next