Theorem Set.matrix_eq_pi

Modification history

2025-07-26 23:35
Mathlib/Data/Matrix/Defs.lean
feat(Topology/Instances/Matrix): topology of `Set.matrix` (#27496) …
Added Set.matrix_eq_piView on Github →