Theorem Rep.ofDistribMulAction_ρ_apply_apply

Modification history