mathlib3

dfad4c6b - fix(data/equiv/set): Fix doc comment syntax (#11409)