Theorem HasCompactMulSupport.isCompact_preimage

Modification history

2024-01-29 06:37
Mathlib/Topology/Support.lean
feat: minor topological improvements (#9908) …
Added HasCompactMulSupport.isCompact_preimageView on Github →