Commit 2026-02-18 19:37 514b0e41
View on Github →feat(Analysis/Normed/Operator/Compact): criteria for compactness of the identity operator (#35196) This PR adds several criteria for compactness of the identity operator.
feat(Analysis/Normed/Operator/Compact): criteria for compactness of the identity operator (#35196) This PR adds several criteria for compactness of the identity operator.