Mathlib v3 is deprecated. Go to Mathlib v4

Def SemiRing.sections_subsemiring

Modification history