Theorem Action.rightDual_v

Modification history