Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-16 12:05 362619eb

View on Github →

chore(data/equiv/basic): add lemmas about equiv.cast (#6246)

Estimated changes

added theorem equiv.cast_eq_iff_heq
added theorem equiv.cast_refl
added theorem equiv.cast_symm
added theorem equiv.cast_trans