Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-03 14:32 fc875985

View on Github →

chore(data/polynomial/eval): add map_ring_hom_{id,comp} lemmas (#7019)

Estimated changes