Catalan's conjecture

GPTKB entity