Skip to content

Actions: jdhart81/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
12 workflow runs
12 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove div_mul_div_cancel docstrings Run pre-commit and in-place update PR on push #12: Commit fcdf55d pushed by jdhart81
51s feat/ennreal-div-mul-div-cancel
feat/ennreal-div-mul-div-cancel
51s
feat(Data): add EReal.div_mul_div_cancel Run pre-commit and in-place update PR on push #11: Commit dd84ea8 pushed by jdhart81
37s feat/ennreal-div-mul-div-cancel
feat/ennreal-div-mul-div-cancel
37s
feat(Data/ENNReal/Inv): add div_mul_div_cancel Run pre-commit and in-place update PR on push #10: Commit 9774c69 pushed by jdhart81
26s feat/ennreal-div-mul-div-cancel
feat/ennreal-div-mul-div-cancel
26s
feat(Probability/Independence): add self-independence lemmas to ZeroO… Run pre-commit and in-place update PR on push #9: Commit c3d5dee pushed by jdhart81
29s feat/ennreal-div-decomp
feat/ennreal-div-decomp
29s
revert(Probability/Independence): remove ZeroOne import to fix circul… Run pre-commit and in-place update PR on push #8: Commit 54d1319 pushed by jdhart81
24s feat/ennreal-div-decomp
feat/ennreal-div-decomp
24s
refactor(Probability/Independence): use Indep API per review Run pre-commit and in-place update PR on push #7: Commit 6cd2bb3 pushed by jdhart81
22s feat/ennreal-div-decomp
feat/ennreal-div-decomp
22s
fix(Data/ENNReal/Inv): restore section header per review Run pre-commit and in-place update PR on push #6: Commit 37944de pushed by jdhart81
23s feat/ennreal-div-decomp
feat/ennreal-div-decomp
23s
fix: remove unnecessary symm from div_mul_div_cancel proof Run pre-commit and in-place update PR on push #5: Commit 23488e6 pushed by jdhart81
23s feat/ennreal-div-decomp
feat/ennreal-div-decomp
23s
fix: use symm for reversed div_mul_div_cancel proof Run pre-commit and in-place update PR on push #4: Commit a449ecb pushed by jdhart81
20s feat/ennreal-div-decomp
feat/ennreal-div-decomp
20s
refactor: extract hY_const as IndepFun.measure_preimage_eq_zero_or_one Run pre-commit and in-place update PR on push #3: Commit ffecdcf pushed by jdhart81
19s feat/ennreal-div-decomp
feat/ennreal-div-decomp
19s
refactor: reverse div_mul_div_cancel direction per reviewer Run pre-commit and in-place update PR on push #2: Commit 7baf039 pushed by jdhart81
24s feat/ennreal-div-decomp
feat/ennreal-div-decomp
24s
Merge branch 'master' into feat/ennreal-div-decomp Run pre-commit and in-place update PR on push #1: Commit 81c2129 pushed by jdhart81
27s feat/ennreal-div-decomp
feat/ennreal-div-decomp
27s