chore(linear_algebra/matrix/sesquilinear_form): fix a timeout (#17705)
chore(linear_algebra/matrix/sesquilinear_form): fix a timeout (#17705)







leanprover-community/mathlib,leanprover-community/mathlib