Theorem Module.AEval.mem_mapSubmodule_apply

Modification history