Theorem Module.AEval.mem_mapSubmodule_symm_apply

Modification history