Registry · Proposition V.P198 tau-effective not_formalized V.P198 — Sakharov conditions in tau --- V.T187 Ledger restatement: Sakharov conditions in tau (V.T187) Book V Part 7 Ch. 61