Actions: leanprover-community/mathlib4
Actions
26,916 workflow runs
26,916 workflow runs
erw
s that can become rw
for free
Post PR summary comment
#26855:
Pull request #18322
opened
by
Vierkantor
ContinuousSMul
for intermediate fields
Post PR summary comment
#26854:
Pull request #18142
synchronize
by
jjdishere
ℂ
Post PR summary comment
#26848:
Pull request #16542
synchronize
by
CBirkbeck
ℂ
Post PR summary comment
#26847:
Pull request #16542
synchronize
by
CBirkbeck
ℂ
Post PR summary comment
#26846:
Pull request #16542
synchronize
by
CBirkbeck
ℂ
Post PR summary comment
#26844:
Pull request #16542
synchronize
by
CBirkbeck
Embedding
to IsEmbedding
Post PR summary comment
#26842:
Pull request #18133
synchronize
by
YaelDillies
ZMod
-module lemmas
Post PR summary comment
#26841:
Pull request #17693
synchronize
by
YaelDillies
ZMod
-module lemmas
Post PR summary comment
#26840:
Pull request #17693
synchronize
by
YaelDillies
EReal.forall
, EReal.exists
Post PR summary comment
#26838:
Pull request #18301
synchronize
by
YaelDillies
S
-schemes
Post PR summary comment
#26835:
Pull request #18321
synchronize
by
erdOne