Actions: SnirBroshi/mathlib4
Actions
1,260 workflow runs
1,260 workflow runs
@[nontriviality]
Run pre-commit and in-place update PR on push
#1158:
Commit 939124b
pushed
by
SnirBroshi
G.induce s
Run pre-commit and in-place update PR on push
#1157:
Commit 5096e0b
pushed
by
SnirBroshi
notMem_support_iff_isIsolated as simp
Run pre-commit and in-place update PR on push
#1156:
Commit ed01300
pushed
by
SnirBroshi
#lint
Run pre-commit and in-place update PR on push
#1155:
Commit 727ab10
pushed
by
SnirBroshi
#lint
Run pre-commit and in-place update PR on push
#1154:
Commit 18c67d2
pushed
by
SnirBroshi
edges_cycleBypass_subset the sublist treatment
Run pre-commit and in-place update PR on push
#1153:
Commit fab30ef
pushed
by
SnirBroshi
sigmaFiberFromRel
Run pre-commit and in-place update PR on push
#1152:
Commit fa03e4b
pushed
by
SnirBroshi
IsIsolated more
Run pre-commit and in-place update PR on push
#1151:
Commit 8f0c410
pushed
by
SnirBroshi
IsIsolated ⊥ v
Run pre-commit and in-place update PR on push
#1150:
Commit 7b30387
pushed
by
SnirBroshi
eq_bot_iff_neighborSet using IsIsolated
Run pre-commit and in-place update PR on push
#1149:
Commit eebae33
pushed
by
SnirBroshi
edgeColoringEmbeddingofColorEmbedding -> edgeColoringEmbedding
Run pre-commit and in-place update PR on push
#1147:
Commit d477069
pushed
by
SnirBroshi
lt -> gt
Run pre-commit and in-place update PR on push
#1146:
Commit d2c4464
pushed
by
SnirBroshi
Graph/Maps.lean
Run pre-commit and in-place update PR on push
#1144:
Commit 9da4f80
pushed
by
SnirBroshi
EdgeColoring.ofColor{Embedding/Iso} to get dot-notatio…
Run pre-commit and in-place update PR on push
#1143:
Commit 32343e7
pushed
by
SnirBroshi
bot
Run pre-commit and in-place update PR on push
#1142:
Commit 23d1413
pushed
by
SnirBroshi
@[expose]
Run pre-commit and in-place update PR on push
#1141:
Commit b970fec
pushed
by
SnirBroshi
StronglyRegular.lean
Run pre-commit and in-place update PR on push
#1140:
Commit 035f7b0
pushed
by
SnirBroshi
Basic.lean stuff to separate PR
Run pre-commit and in-place update PR on push
#1139:
Commit cb2a7a3
pushed
by
SnirBroshi
StronglyRegular.lean
Run pre-commit and in-place update PR on push
#1138:
Commit 8723af5
pushed
by
SnirBroshi
Finite.lean
Run pre-commit and in-place update PR on push
#1137:
Commit d9c6ac2
pushed
by
SnirBroshi