Actions: leanprover-community/mathlib4
Actions
26,977 workflow runs
26,977 workflow runs
ℂ
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
S
-schemes
Post PR summary comment
#26832:
Pull request #18321
opened
by
erdOne
Filter.prod
, use SProd
instead
Post PR summary comment
#26824:
Pull request #18315
synchronize
by
urkud
ApproximateUnit
and basic API
Post PR summary comment
#26822:
Pull request #17787
synchronize
by
j-loreaux