Mathlib Changelog v4

Changelog About Github

Def LinearMap.ltoFun

Modification history

2023-02-19 01:12

Mathlib/Algebra/Algebra/Basic.lean

feat: port Algebra.Algebra.Basic (#2244)

Added LinearMap.ltoFun View on Github →