Theorem Submodule.mulMap_comm_of_commute

Modification history