Actions: leanprover-community/mathlib4
Actions
37,676 workflow runs
37,676 workflow runs
cdot
linter and attribute [instance] in
linter
Detect changes to header SHAs
#53699:
Pull request #12143
synchronize
by
adomani
lake exe mk_all
in CI
Detect changes to header SHAs
#53698:
Pull request #11874
synchronize
by
adomani
lake exe mk_all
as a Lean executable
Detect changes to header SHAs
#53697:
Pull request #11853
synchronize
by
adomani
1 / ((1 - x) ^ (d + 1))
with coefficients in a commutative ring S
, where d : ℕ
.
Detect changes to header SHAs
#53691:
Pull request #11255
synchronize
by
FMLJohn
mul_le_mul
and smul_le_smul
variant
Detect changes to header SHAs
#53689:
Pull request #12806
opened
by
madvorak