Mathlib v3 is deprecated. Go to Mathlib v4

Def homeomorph.smul

Modification history

2022-04-05 11:06
src/topology/algebra/const_mul_action.lean
feat(topology/algebra): add several lemmas (#13135) …
Modified homeomorph.smulView on Github →
2022-02-15 08:27
src/topology/algebra/const_mul_action.lean
feat(topology/algebra): weaken typeclasses to only require `has_continuous_const_smul` (#11995) …
Modified homeomorph.smulView on Github →
2022-01-25 17:30
src/topology/algebra/mul_action2.lean
feat(topology/algebra/mul_action2): quotient by a properly discontinuous group action is t2 (#10465) …
Added homeomorph.smulView on Github →