Theorem Rep.ρ_self_inv_apply

Modification history