Theorem Action.leftDual_ρ

Modification history