Theorem Representation.asModuleEquiv_symm_map_smul

Modification history