feat(probability/tail_prob): the tail probability formula #14769
kex-y
wants to merge
22 commits into
master
from
JasonKYi/tail_prob
initial commit
72c79fcd
change definition to be consistent with docstring
eaf2df73
better names
d7c65e4e
remove inconsistent spaces
999c08b7
add a lemma
b94550d9
Merge remote-tracking branch 'origin/JasonKYi/hitting' into hitting_a…
f15cf790
make it work without a bot
e5e5f076
Merge branch 'master' of https://github.com/leanprover-community/mathlib
b6646717
initial
ddeba237
some work
343b904c
main sorry free
fab61b38
one sorry left
60b48508
sorry free
1319388e
add doc strings
e025ad46
remove hitting
12e6ed5d
braces
11b9bf1d
useless simp only
fdc50bbe
move lemmas
9b292755
fix error
b7f516d9
Merge branch 'master' of https://github.com/leanprover-community/math…
5e968733
clean
e9c3910e
clean
5a29568e
Reviewers
No reviews
Assignees
No one assigned
Labels
WIP
t-measure-probability
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub