Theorem Homeomorph.smulOfNeZero_symm_apply

Modification history

2023-07-21 08:49
Mathlib/Topology/Algebra/ConstMulAction.lean
feat: add some missing simp lemmas (#6028)
Added Homeomorph.smulOfNeZero_symm_applyView on Github →