Mathlib v3 is deprecated. Go to Mathlib v4

Def semiring.perfection

Modification history