Commit 2024-10-26 18:11 991921d3
View on Github →feat: define cfcHomSuperset (#18126)
This defines, for convenience, a map cfcHomSuperset : C(s, R) → A whenever spectrum R a ⊆ s in the natural way (i.e., by precomposition with the inclusion map).