Theorem HasCompactMulSupport.isCompact_preimage

Modification history

2025-08-03 18:11

Mathlib/Topology/Algebra/Support.lean

chore(Topology/Algebra/Support): misc. clean-ups; rename `HasCompactSupport.inv'` to `inv` (#27788) …

Modified HasCompactMulSupport.isCompact_preimage View on Github →

2024-01-29 06:37

Mathlib/Topology/Support.lean

feat: minor topological improvements (#9908) …

Added HasCompactMulSupport.isCompact_preimage View on Github →