Fry-Yorke theorem

GPTKB entity