pro-Nisnevich topology

GPTKB entity