A counterexample to Scottish Book Problem 155 #
Source: url:https://github.com/yoshito-ishiki-math/lean-scottish-book-155
Authors: Yoshito Ishiki
Status: verified
Main declarations: ScottishBook155.claim14
Tags: functional-analysis
MSC: 46B20, 54E40