Theorem Action.ρ_inv_self_apply

Modification history