Skip to content

Actions: SnirBroshi/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

extract to variables Run pre-commit and in-place update PR on push #747: Commit d925538 pushed by SnirBroshi
23s feature/simple-graph/hamiltonian/injective-of-is-path-map
feature/simple-graph/hamiltonian/injective-of-is-path-map
23s
Merge branch 'master' into chore/logic-relation-subrelation Run pre-commit and in-place update PR on push #746: Commit 6b294d0 pushed by SnirBroshi
27s chore/logic-relation-subrelation
chore/logic-relation-subrelation
27s
defeq instead of reindex_apply Run pre-commit and in-place update PR on push #745: Commit 5b2eaf0 pushed by SnirBroshi
36s feature/simple-graph/adj-matrix-submatrix
feature/simple-graph/adj-matrix-submatrix
36s
feat(Combinatorics/SimpleGraph/Hamiltonian): if mapping a Hamiltonian… Run pre-commit and in-place update PR on push #744: Commit a676042 pushed by SnirBroshi
29s feature/simple-graph/hamiltonian/injective-of-is-path-map
feature/simple-graph/hamiltonian/injective-of-is-path-map
29s
feat(Data/Sym/Sym2): fromRel & ToRel order isomorphism Run pre-commit and in-place update PR on push #743: Commit bbbea16 pushed by SnirBroshi
27s feature/sym2/from-rel-to-rel-order-iso
feature/sym2/from-rel-to-rel-order-iso
27s
cos_two_mul_eq_one_sub Run pre-commit and in-place update PR on push #742: Commit 79f0621 pushed by SnirBroshi
29s feature/trig/cos-double-eq-sin
feature/trig/cos-double-eq-sin
29s
delete newline before goal Run pre-commit and in-place update PR on push #741: Commit 96d6e8e pushed by SnirBroshi
24s feature/simple-graph/adj-matrix-submatrix
feature/simple-graph/adj-matrix-submatrix
24s
generalize reindex_iff to submatrix with a surjective function Run pre-commit and in-place update PR on push #740: Commit 75f7f2c pushed by SnirBroshi
27s feature/simple-graph/adj-matrix-submatrix
feature/simple-graph/adj-matrix-submatrix
27s
fix typo Run pre-commit and in-place update PR on push #739: Commit fa681b2 pushed by SnirBroshi
26s feature/simple-graph/matching/more-api
feature/simple-graph/matching/more-api
26s
feat(Combinatorics/SimpleGraph/Matching): edgeSet is injective and … Run pre-commit and in-place update PR on push #738: Commit 354adca pushed by SnirBroshi
30s feature/simple-graph/matching/more-api
feature/simple-graph/matching/more-api
30s
#verts = 2 * #edgeSet in matchings Run pre-commit and in-place update PR on push #737: Commit 92570dd pushed by SnirBroshi
24s feature/simple-graph/matching/dart-equiv
feature/simple-graph/matching/dart-equiv
24s
feat(Data/Sym/Sym2/Card): cardinality theorems about Sym2 α Run pre-commit and in-place update PR on push #736: Commit a3ad1fc pushed by SnirBroshi
29s feature/sym2/card-api
feature/sym2/card-api
29s
Merge branch 'master' into feature/ordinal/le-ord-iff-card-le Run pre-commit and in-place update PR on push #735: Commit 1adad3c pushed by SnirBroshi
22s feature/ordinal/le-ord-iff-card-le
feature/ordinal/le-ord-iff-card-le
22s
fix simps Run pre-commit and in-place update PR on push #734: Commit 608b258 pushed by SnirBroshi
26s feature/simple-graph/adj-matrix-submatrix
feature/simple-graph/adj-matrix-submatrix
26s
feat(Combinatorics/SimpleGraph/Matching): equivalence between vertice… Run pre-commit and in-place update PR on push #733: Commit 274e354 pushed by SnirBroshi
34s feature/simple-graph/matching/dart-equiv
feature/simple-graph/matching/dart-equiv
34s
dosctrings Run pre-commit and in-place update PR on push #732: Commit 166ef1d pushed by SnirBroshi
25s feature/simple-graph/adj-matrix-submatrix
feature/simple-graph/adj-matrix-submatrix
25s
feat(Combinatorics/SimpleGraph/AdjMatrix): submatrices and homomorphisms Run pre-commit and in-place update PR on push #731: Commit a68d075 pushed by SnirBroshi
25s feature/simple-graph/adj-matrix-submatrix
feature/simple-graph/adj-matrix-submatrix
25s
lengths Run pre-commit and in-place update PR on push #730: Commit 51f0f5b pushed by SnirBroshi
24s feature/simple-graph/walks/of-support
feature/simple-graph/walks/of-support
24s
add a docstring for Ordinal.card_typein_min_le_mk Run pre-commit and in-place update PR on push #729: Commit 759ec16 pushed by SnirBroshi
25s feature/order/wf-mex
feature/order/wf-mex
25s
Is*.*_iff -> is*_*_iff, and make the Matrix arg implicit Run pre-commit and in-place update PR on push #728: Commit 992dc72 pushed by SnirBroshi
24s feature/matrix/is-symm-lemmas
feature/matrix/is-symm-lemmas
24s
move comments to the "replicate" theorems they reference Run pre-commit and in-place update PR on push #727: Commit 4058790 pushed by SnirBroshi
25s chore/data/matrix/mul-docstring-refs
chore/data/matrix/mul-docstring-refs
25s
Merge branch 'master' into feature/ordinal/typein-lt-natcast Run pre-commit and in-place update PR on push #726: Commit c1d9203 pushed by SnirBroshi
27s feature/ordinal/typein-lt-natcast
feature/ordinal/typein-lt-natcast
27s
simp can prove star_nsmul/star_zsmul Run pre-commit and in-place update PR on push #725: Commit 131a77c pushed by SnirBroshi
23s feature/algebra/star/generalize-smul
feature/algebra/star/generalize-smul
23s
fix simp Run pre-commit and in-place update PR on push #724: Commit 46a6d21 pushed by SnirBroshi
21s feature/matrix/is-symm-lemmas
feature/matrix/is-symm-lemmas
21s
feat(Algebra/Star/SelfAdjoint): IsSelfAdjoint of Invertible Run pre-commit and in-place update PR on push #723: Commit addeb4a pushed by SnirBroshi
30s feature/algebra/star/self-adjoint-inv
feature/algebra/star/self-adjoint-inv
30s