Commit 2024-04-14 14:15 8a48cc6b

View on Github →

refactor(LinearAlgebra/BilinearForm/Basic): Deprecate coercions (#12132) Following #11278 the coercions in LinearAlgebra/BilinearForm/Basic are no longer useful. This PR deprecates them.

Estimated changes

modified theorem LinearMap.BilinForm.ext