Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-02 07:33 fc7f9f3a

View on Github →

feat(algebra/algebra): the range of algebra_map (S : subalgebra R A) A (#9450)

Estimated changes

added theorem algebra.id.map_eq_id
modified theorem algebra.id.map_eq_self