Smirnov compactification

GPTKB entity