WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Linear map

Revision #2827 → #3309 · back to history

addedKernel and range are submodulesf9969021724e
modifiedContinuous linear operator848bb3876b7f
FieldFrom #2827To #3309
mathlib.moduleMathlib.Topology.Algebra.Module.BasicMathlib.Topology.Algebra.Module.ContinuousLinearMap.Basic