Theorem Rep.of_ρ_apply

Modification history