Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.algebra_ext

Modification history

2020-07-13 09:46
src/ring_theory/algebra.lean
feat(data/polynomial): some lemmas about eval2 and algebra_map (#3382)
Added algebra.algebra_extView on Github →