Registry · Remark VII.R36 tau-effective not_applicable

VII.R36 — Urban Topology

Urban infrastructure as morphism network defining Grothendieck topology on social base category.

Book VII Part 8 Ch. 97

Lean Formalization

Module:

Symbol: