Actions: leanprover-community/mathlib4
Actions
27,780 workflow runs
27,780 workflow runs
linearCombination
Post PR summary comment
#27747:
Pull request #18492
opened
by
eric-wieser
degreeOf
theorems for -,^,∑,∏
Post PR summary comment
#27746:
Pull request #18454
synchronize
by
quangvdao
gcongr
lemmas
Post PR summary comment
#27744:
Pull request #18476
synchronize
by
urkud
Submodule/Basic.lean
Post PR summary comment
#27740:
Pull request #18489
synchronize
by
Vierkantor
FixedDetMatrices
under SL action
Post PR summary comment
#27739:
Pull request #16160
synchronize
by
CBirkbeck
FixedDetMatrices
under SL action
Post PR summary comment
#27738:
Pull request #16160
synchronize
by
CBirkbeck
Submodule/Basic.lean
Post PR summary comment
#27733:
Pull request #18489
synchronize
by
Vierkantor