Theorem LinearMap.pi_eq_zero

Modification history

2026-10-27 00:37

Mathlib/Algebra/Module/Pi.lean

chore(Algebra): move `LinearMap.proj` and `LinearMap.pi` (#45302) …

Modified LinearMap.pi_eq_zero View on Github →

2023-02-14 06:34

Mathlib/LinearAlgebra/Pi.lean

feat: port LinearAlgebra.Pi (#2250)

Added LinearMap.pi_eq_zero View on Github →