Mathlib v3 is deprecated. Go to Mathlib v4

Theorem to_dual_smul'

Modification history

2022-10-26 10:03
src/algebra/group/order_synonym.lean
feat(topology/algebra/const_mul_action): `order_dual` instances (#17125) …
Added to_dual_smul'View on Github →