Theorem Rep.ρ_inv_self_apply

Modification history