Theorem Submodule.fst_map_snd

Modification history