Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subset_interior_smul

Modification history

2022-11-07 10:04
src/topology/algebra/group.lean
feat(topology/algebra/group): `•` lemmas (#17383) …
Added subset_interior_smulView on Github →