Birkhoff conjecture

GPTKB entity