Hilbert's fifth problem

GPTKB entity