Registry · Remark
VII.R36
tau-effective
not_applicable
VII.R36 — Urban Topology
Urban infrastructure as morphism network defining Grothendieck topology on social base category.
Lean Formalization
Symbol:
Urban infrastructure as morphism network defining Grothendieck topology on social base category.
Symbol: