Theorem Action.rightDual_ρ

Modification history