formal group law

GPTKB entity