Mathlib v3 is deprecated. Go to Mathlib v4

Def homeomorph.vadd

Modification history

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) …
Deleted homeomorph.vaddView 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.vaddView on Github →