Theorem LinearEquiv.coe_toAddEquiv_symm

Modification history

2025-07-01 00:55
Mathlib/Algebra/Module/Equiv/Defs.lean
chore: bump toolchain to v4.22.0-rc2 (#26564) …
Modified LinearEquiv.coe_toAddEquiv_symmView on Github →
2024-11-14 09:20
Mathlib/Algebra/Module/Equiv/Defs.lean
feat(LinearAlgebra/FreeModule/Int): index of submodules of free ℤ-modules (#18002) …
Added LinearEquiv.coe_toAddEquiv_symmView on Github →