Theorem IsCompact.matrix

Modification history

2025-07-26 23:35

Mathlib/Topology/Instances/Matrix.lean

feat(Topology/Instances/Matrix): topology of `Set.matrix` (#27496) …

Added IsCompact.matrix View on Github →