Theorem LinearEquiv.coe_symm_mk'

Modification history

2025-09-17 09:25
Mathlib/Algebra/Module/Equiv/Defs.lean
chore(RingTheory): process porting notes, part 2 (#29353) …
Added LinearEquiv.coe_symm_mk'View on Github →