mathlib
eaf2df73 - change definition to be consistent with docstring

Commit

4 years ago

change definition to be consistent with docstring

References

#14769 - feat(probability/tail_prob): the tail probability formula

Author

kex-y

kex-y

Parents

Loading