Actions: leanprover-community/mathlib4
Actions
26,861 workflow runs
26,861 workflow runs
header
linter in all files imported in Mathlib.Init
Post PR summary comment
#26903:
Pull request #18275
synchronize
by
grunweg
import Lean
Post PR summary comment
#26901:
Pull request #18276
synchronize
by
grunweg
negAt
map
Post PR summary comment
#26900:
Pull request #18234
synchronize
by
xroblot
minpoly x F
splits in E
implies minpoly x F
splits in algebraicClosure F E
Post PR summary comment
#26890:
Pull request #18331
opened
by
jjdishere
Inducing
to IsInducing
Post PR summary comment
#26889:
Pull request #18330
synchronize
by
YaelDillies
Inducing
to IsInducing
Post PR summary comment
#26888:
Pull request #18330
opened
by
YaelDillies
Inducing
, Embedding
...
Post PR summary comment
#26887:
Pull request #15993
synchronize
by
YaelDillies
Normed
instance for SubfieldClass
Post PR summary comment
#26886:
Pull request #18329
opened
by
jjdishere