Theorem Rep.ofHom_ρ

Modification history