Π^1 1-CA 0

GPTKB entity