The “main conjectures” of Iwasawa theory for imaginary quadratic fields — The “main conjectures” of Iwasawa theory for imaginary quadratic fields — the latest coverage, the community and the facts.