Commit 2022-07-28 21:09 4ff8c3db

View on Github →

feat(analysis/normed_space/compact_operator): definition and basic facts about compact operators (#15467)

Estimated changes

added def compact_operator