Commit 2024-06-03 18:04 26cbbbbd

chore(LinearAlgebra–Topology): remove refine' (#13474) Split from #13385; this excludes usages where refine' was used to replace refine_struct – except where the proofs for each field were already separately written out.