Theorem Equiv.toFun_as_coe_apply

Modification history

2023-10-24 20:48
Mathlib/Logic/Equiv/Defs.lean
chore: remove `Equiv.toFun_as_coe_apply` (#7902) …
Deleted Equiv.toFun_as_coe_applyView on Github →
2022-12-23 13:50
Mathlib/Logic/Equiv/Defs.lean
chore: fix casing per naming scheme (#1183) …
Added Equiv.toFun_as_coe_applyView on Github →