Commit 2024-01-26 03:03 e3b68186
View on Github →fix: Clm
-> CLM
, Cle
-> CLE
(#10018)
Rename
Complex.equivRealProdClm
→Complex.equivRealProdCLM
;- TODO: should this one use
CLE
?
- TODO: should this one use
Complex.reClm
→Complex.reCLM
;Complex.imClm
→Complex.imCLM
;Complex.conjLie
→Complex.conjLIE
;Complex.conjCle
→Complex.conjCLE
;Complex.ofRealLi
→Complex.ofRealLI
;Complex.ofRealClm
→Complex.ofRealCLM
;fderivInnerClm
→fderivInnerCLM
;LinearPMap.adjointDomainMkClm
→LinearPMap.adjointDomainMkCLM
;LinearPMap.adjointDomainMkClmExtend
→LinearPMap.adjointDomainMkCLMExtend
;IsROrC.reClm
→IsROrC.reCLM
;IsROrC.imClm
→IsROrC.imCLM
;IsROrC.conjLie
→IsROrC.conjLIE
;IsROrC.conjCle
→IsROrC.conjCLE
;IsROrC.ofRealLi
→IsROrC.ofRealLI
;IsROrC.ofRealClm
→IsROrC.ofRealCLM
;MeasureTheory.condexpL1Clm
→MeasureTheory.condexpL1CLM
;algebraMapClm
→algebraMapCLM
;WeakDual.CharacterSpace.toClm
→WeakDual.CharacterSpace.toCLM
;BoundedContinuousFunction.evalClm
→BoundedContinuousFunction.evalCLM
;ContinuousMap.evalClm
→ContinuousMap.evalCLM
;TrivSqZeroExt.fstClm
→TrivSqZeroExt.fstClm
;TrivSqZeroExt.sndClm
→TrivSqZeroExt.sndCLM
;TrivSqZeroExt.inlClm
→TrivSqZeroExt.inlCLM
;TrivSqZeroExt.inrClm
→TrivSqZeroExt.inrCLM
and related theorems.