Commit 2023-08-11 02:23 cd15d650
View on Github →fix (InnerProductSpace.Basic): make toSesqForm noncomputable (#6512)
Explicitly marks ContinuousLinearMap.toSesqForm
as noncomputable
to prevent runaway build process which does produces nothing.
fix (InnerProductSpace.Basic): make toSesqForm noncomputable (#6512)
Explicitly marks ContinuousLinearMap.toSesqForm
as noncomputable
to prevent runaway build process which does produces nothing.