mathlib3

f4bf66c1 - Regex search for `(?<=Type\*[)}] )\[(semi_?)?normed_(add_comm_group [^\]]+)\]`