Registry · Proposition VII.P23 tau-effective not_applicable

VII.P23 — Dunbar Limit as Carrier Capacity

Maximal group size for all-to-all thick recognition; Dunbar's number as structural carrier capacity bound.

Book VII Part 8 Ch. 96

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module:

Symbol: