Theorem Submodule.exists_equiv_eq_graph

Modification history