Def IsLinearMap.mk'

Modification history

2024-07-31 01:05

Mathlib/Algebra/Module/LinearMap/Defs.lean

chore: backports for leanprover/lean4#4814 (part 7) (#15332) …

Modified IsLinearMap.mk'View on Github →

2024-07-01 08:42

Mathlib/Algebra/Module/LinearMap/Basic.lean

chore(Algebra/Module/LinearMap): split into Basic and Defs (#14226) …

Modified IsLinearMap.mk'View on Github →

2023-07-27 07:08

Mathlib/Algebra/Module/LinearMap.lean

chore: tidy various files (#6158)

Modified IsLinearMap.mk'View on Github →

2023-01-20 15:59

Mathlib/Algebra/Module/LinearMap.lean

feat: port Algebra.Module.LinearMap (#1587) …

Added IsLinearMap.mk'View on Github →