FC12 — Beauville, Complex Algebraic Surfaces

This book contains 30 definitions, 19 theorems, 38 propositions, 29 lemmas, 10 corollaries, 38 examples, 4 constructions, 15 remarks, 2 conventions, 1 notation, 2 formulas, 1 criterion and 17 other statements.

206 of its 206 statements have been checked against Lean; 0 of those are formalized somewhere.

Chapter Definitions Theorems, propositions Lemmas, corollaries Everything else Formalized Not formalized
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 3 4 2 11 0 20
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 6 6 5 5 0 22
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 5 7 4 8 0 24
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 2 8 5 10 0 25
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 2 8 4 4 0 18
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 1 7 10 6 0 24
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 1 2 — 2 0 5
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 3 7 5 13 0 28
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 1 2 1 6 0 10
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. — 4 3 7 0 14
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 4 — — 5 0 9
FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. 2 2 — 3 0 7

What the book contains

Kind of statement Count
Definitions 30
Theorems 19
Propositions 38
Lemmas 29
Corollaries 10
Examples 38
Constructions 4
Remarks 15
Conventions 2
Notations 1
Formulas 2
Criteria 1
Other statements 17
Total 206

Where its statements stand in Lean

Status Statements Share What it means
not formalized 206 100% A documented search found no Lean statement of it anywhere.
checked in total 206