Theorem IsOpen.matrix

Modification history

2025-09-19 07:04

Mathlib/Topology/Instances/Matrix.lean

chore(*): drop some `Decidable`/`Fintype` assumptions (#29785) …

Modified IsOpen.matrix View on Github →

2025-07-26 23:35

Mathlib/Topology/Instances/Matrix.lean

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

Added IsOpen.matrix View on Github →