Theorem LinearPMap.eq_of_eq_graph

Modification history