Theorem Submodule.mem_graph_toLinearPMap

Modification history