User loginNavigation 
Other free theoremsGiven, f : ∀a:*. a → a → a we can take a = {x,y} to show that for a particular x,y, either: f x y = x, or f x y = y My question is how to formally reason that f is uniformly defined by one of those equations. What property of f is needed? Informally, it's easy to reason that there is nothing f could branch on, but I don't see how to generalize. Thanks By Matt M at 20111022 19:51  LtU Forum  previous forum topic  next forum topic  other blogs  4266 reads

Browse archivesActive forum topics 
Recent comments
1 hour 5 min ago
3 hours 44 min ago
23 hours 18 min ago
1 day 6 hours ago
1 day 9 hours ago
1 day 10 hours ago
1 day 12 hours ago
2 days 3 hours ago
2 days 7 hours ago
5 days 15 hours ago