Registry · Remark V.R518 framework not_formalized V.R518 — Observational status Observational status of IGMF lower bounds Book V Part 7 Ch. 64