Theorem Continuous.matrix_updateColumn

Modification history

2024-12-11 08:26
Mathlib/Topology/Instances/Matrix.lean
chore: renaming all `Column` to `Col` (#19825) …
Deleted Continuous.matrix_updateColumnView on Github →
2023-04-26 07:58
Mathlib/Topology/Instances/Matrix.lean
feat: port Topology.Instances.Matrix (#3655)
Added Continuous.matrix_updateColumnView on Github →