Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Distributions #50

Merged
merged 53 commits into from
Aug 14, 2024
Merged

Distributions #50

merged 53 commits into from
Aug 14, 2024

Conversation

timlichtnau
Copy link
Contributor

Unfortunately, there is still missing:

  • Distributions commute with Integration
  • convolution of Distribution with test function is not only continuous but actually smooth

timlichtnau and others added 30 commits May 30, 2024 18:12
@timlichtnau
Added Distributions.tex
8c7978a
@timlichtnau
first steps from Sequences to SequentialSpaces
088127f
@timlichtnau
fixing latex typos
c333408
@timlichtnau
Unstaged Distribution.lean
e013828
@timlichtnau
Merge branch 'Distributions' of https://github.com/InftyCat/BonnAnalysis
38d5751 
 into Distributions
@timlichtnau
now really unstaged Distribution.lean
0e1acb1
@timlichtnau
converging sequences give sequential space
2fd3048
@timlichtnau
pull ok
6b4229b
@timlichtnau
FirstStepsToDistributions
3f5a978
@timlichtnau
typos
2cfba48
@timlichtnau
Merge remote-tracking branch 'origin/master' into Distributions
5997d17
@timlichtnau
Converge!
ed07835
@timlichtnau
DistributionsAreSequential
97f8023
@timlichtnau
rightBefore IsSeqCtsLinearMap impl
e87dfcc
@timlichtnau
rightbeforeOmRwFullV
acf4674
@timlichtnau
convIsSmooth ; dirac
14c4cd4
@timlichtnau
beforeGettingRidOfCmpctSupportCurrying
267010e
@timlichtnau
rightbeforeTendstouniformlyOn
6dba286
@timlichtnau
some sorries
2a47ba0
@timlichtnau
Kram
acf4569
@timlichtnau
sth
715972a
@timlichtnau
LambdaIsComing
c7b4ccf
@timlichtnau
sthDone
4cb532f
@timlichtnau
sth
af36772
@sterecht
plancharel progress
11df65f
@sterecht
Merge branch 'master' of https://github.com/fpvandoorn/BonnAnalysis
bbdc3b6
@timlichtnau
SomeSuggestions
6700db6
@timlichtnau
Merge branch 'master' of https://github.com/fpvandoorn/BonnAnalysis
a843b6d
@sterecht
shortened some proofs
62c2166
@timlichtnau
Merge remote-tracking branch 'origin/master' into Distributions
fc9fa28
timlichtnau and others added 23 commits July 19, 2024 13:20
@timlichtnau
Merge branch 'Distributions'
3ecefec
@timlichtnau
Merge pull request #1 from sterecht/distr_stefan
e645c56 
minor compactifications :)
@timlichtnau
bforeLambdaswappingFactors
49bee03
@timlichtnau
beforeRightLeftFix
8f37cb4
@timlichtnau
iteratedDerivSolve
6339d8a
@timlichtnau
preShiftAs.Op
ea79dfa
@timlichtnau
beforeUnification
ede4b53
@timlichtnau
properNessdone
c948567
@timlichtnau
derivatives done
31721ee
@timlichtnau
mainIdeasForiteratedDerivConv
9364374
@timlichtnau
fixedErrorsOfPlan
97c557a
@timlichtnau
RightBeforeChangingEverything
6b4bdd4
@timlichtnau
beforeViewingDasContComp
135e9ac
@timlichtnau
changingNotionOfConvergence
44237d3
@timlichtnau
beforeDecomposingFderiv
953074e
@timlichtnau
beforechanging DF
d048145
@timlichtnau
done
756fd8c
@timlichtnau
Merge branch 'master' of https://github.com/fpvandoorn/BonnAnalysis
2a30b5c
@timlichtnau
Finished
d9d37c4
@timlichtnau
Merge branch 'master' of https://github.com/fpvandoorn/BonnAnalysis
3985b92
@timlichtnau
erased file, added some simp onlies
68c19bf
@fpvandoorn
undo changes in Plancherel file
68072b0
@fpvandoorn
Merge remote-tracking branch 'origin/master' into tim_master
2fd7d08
@fpvandoorn fpvandoorn merged commit 76c2f66 into fpvandoorn:master Aug 14, 2024
1 check passed
@fpvandoorn
Copy link
Owner

Stefan made some other changes to Plancherel.lean, which conflicted with yours, so I unfortunately had to undo your changes in that file.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@timlichtnau @fpvandoorn @sterecht