Theorem Submodule.apply_mem_map₂

Modification history