Commit 2024-04-16 18:50 1c6ef0c3
View on Github →feat: norm estimates for various operators in linear algebra (#12150) There is a technical issue: I need to register two local instances to be even able to state the norm estimates. The issue is typeclass inference getting stuck in complicated types of linear maps...