Theorem Representation.asModuleEquiv_map_smul

Modification history