Mathlib v3 is deprecated. Go to Mathlib v4

Theorem number_field.infinite_place.not_is_real_iff_is_complex

Modification history