Theorem LinearMap.exists_linearEquiv_eq_graph

Modification history