Jinishian's theorem

GPTKB entity