Mathlib v3 is deprecated. Go to Mathlib v4

Theorem roth_number_nat_is_O_id

Modification history