Theorem Submodule.prod_map_fst

Modification history