Registry · Definition VI.D64 tau-effective planned

VI.D64 — Basin Predicate

Admissibility: anchor alive, gravitationally dominant, virialized, supports ≥1 non-anchor carrier family. Galaxy qualification test.

Book VI Part 7 Ch. 47

Dependency Graph

Depended on by (1)

VI.T33

Lean Formalization

Module:

Symbol: