Commit 2021-10-05 08:58 def4814cView on Github →
refactor(topology/algebra/module): continuous semilinear maps (#9539)
Generalize the theory of continuous linear maps to the semilinear setting.
We introduce a notation
∘L for composition of continuous linear (i.e., not semilinear) maps, used sporadically to help with unification. See #8857 for a discussion of a related problem and fix.