Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-23 09:16 f949172a

View on Github →

feat(data/polynomial/basic): polynomial.op_ring_equiv (#8537)

Estimated changes