Theorem EquivLike.coe_coe

Modification history

2023-12-05 18:54
Mathlib/Logic/Equiv/Defs.lean
feat: Add API for `AlgEquiv`. (#8639)
Added EquivLike.coe_coeView on Github →