Commit 2022-10-26 10:03 94a228cf
View on Github →feat(topology/algebra/const_mul_action): order_dual
instances (#17125)
A few missing instances for order_dual
. Namely:
has_vadd αᵒᵈ β
,has_smul αᵒᵈ β
,has_pow αᵒᵈ β
and the correspondinglex
oneshas_continuous_const_vadd α βᵒᵈ
,has_continuous_const_smul α βᵒᵈ
has_continuous_const_vadd αᵒᵈ β
,has_continuous_const_smul αᵒᵈ β
Also fix accidents inalgebra.group.order_synonym
.