Theorem Submodule.valFromGraph_mem

Modification history