Theorem Submodule.existsUnique_from_graph

Modification history