Grothendieck's yoga of the pro-Nisnevich topology

GPTKB entity