Progress on the law of Y - #20

Merged

RemyDegenne merged 20 commits into

mainfrom

Sep 10, 2025

Commits on Sep 8, 2025

progress on the law of Y
RemyDegenne
committed
71ac384
add uses
RemyDegenne
committed
6939a8a
work
RemyDegenne
committed
f6ad60f
more notation
RemyDegenne
committed
76d196a
docstrings
RemyDegenne
committed
8f1ff7a

Commits on Sep 9, 2025

create aux file
RemyDegenne
committed
76effbc
more condDistrib lemmas
RemyDegenne
committed
71893a2
more indepedence work
RemyDegenne
committed
9013b20
more indep lemmas
RemyDegenne
committed
820f6e1
more condDistrib
RemyDegenne
committed
d4c5116
remove some sorry
RemyDegenne
committed
de90810
prove a sorry
RemyDegenne
committed
9b21c10
lint
RemyDegenne
committed
5be80f3
remove a false statement
RemyDegenne
committed
1cf82d2
extract lemma
RemyDegenne
committed
2f8e4b8
add CondIndepFun lemma
RemyDegenne
committed
efe3f7a
minor
RemyDegenne
committed
cc884b1

Commits on Sep 10, 2025

CondIndepFun progress
RemyDegenne
committed
cd7f53c
remove a notation
RemyDegenne
committed
e7d7a0b
minor
RemyDegenne
committed
ecf6245