Pietsch s-numbers and the maximal difference theorem

Source: url:https://github.com/mario-ullrich/lean-snumbers Authors: Mario Ullrich Status: verified Main declarations: SNumbers.approximationNumber_le_e_mul_hilbertNumber Tags: functional-analysis, operator-theory, s-numbers MSC: 47B06, 46B20