Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.is_algebraic.cardinal_mk_le_sigma_polynomial

Modification history

2022-02-03 11:20

src/field_theory/is_alg_closed/classification.lean

feat(field_theory/is_alg_closed/classification): Classify algebraically closed fields (#9370) …

Added algebra.is_algebraic.cardinal_mk_le_sigma_polynomial View on Github →