Mathlib v3 is deprecated. Go to Mathlib v4

Def SemiRing.limit_π_ring_hom

Modification history