Theorem Submodule.toLinearPMap_graph_eq

Modification history