Theorem Representation.asModuleEquiv_symm_map_rho

Modification history