Repository navigation

Progress on the law of Y - #20

Merged

RemyDegenne merged 20 commits into

mainfrom

Sep 10, 2025

Merged

Progress on the law of Y#20
RemyDegenne merged 20 commits into
mainfrom
blueprint

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