Actions: SnirBroshi/mathlib4
Actions
1,260 workflow runs
1,260 workflow runs
degreeLTEquiv
Run pre-commit and in-place update PR on push
#1257:
Commit cd8454d
pushed
by
SnirBroshi
setEquivPredicate -> Set.toProp
Run pre-commit and in-place update PR on push
#1254:
Commit e171ff9
pushed
by
SnirBroshi
Prod instances to match Pi instances
Run pre-commit and in-place update PR on push
#1253:
Commit ecd5177
pushed
by
SnirBroshi
*_trans -> *_trans_*
Run pre-commit and in-place update PR on push
#1251:
Commit 5aeeb78
pushed
by
SnirBroshi
WellFoundedLT.min/WellFoundedGT.max
Run pre-commit and in-place update PR on push
#1250:
Commit a80b2b8
pushed
by
SnirBroshi
WellFoundedLT.min
Run pre-commit and in-place update PR on push
#1248:
Commit 30305fe
pushed
by
SnirBroshi
to_dual
Run pre-commit and in-place update PR on push
#1245:
Commit fae2180
pushed
by
SnirBroshi
to_dual
Run pre-commit and in-place update PR on push
#1244:
Commit 6494155
pushed
by
SnirBroshi
s.ncard the simpNF of Fintype.card s
Run pre-commit and in-place update PR on push
#1243:
Commit 07938b8
pushed
by
SnirBroshi
(α := ...) over @
Run pre-commit and in-place update PR on push
#1239:
Commit c3df7f0
pushed
by
SnirBroshi
grind
Run pre-commit and in-place update PR on push
#1238:
Commit ba9fbfc
pushed
by
SnirBroshi
normal_subgroupOf_commutator_sup
Run pre-commit and in-place update PR on push
#1237:
Commit 6845705
pushed
by
SnirBroshi