Theorem LinearMap.exists_range_eq_graph

Modification history

2024-11-25 15:32
Mathlib/LinearAlgebra/Prod.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added LinearMap.exists_range_eq_graphView on Github →