Theorem Rep.Action_ρ_eq_ρ

Modification history