Extensional equivalence in finite games justifies treating admissibility and iterated weak dominance...
This proposition has not been edited since the history system was added.