Freudenthal spectral theorem

GPTKB entity