Theorem Submodule.image2_subset_map₂

Modification history