Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Withdraw PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
04-withdraw-pr.yml
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib Withdraw PR #211: Issue comment #273 (comment) created by kbuzzard
December 10, 2024 23:39 3s
December 10, 2024 23:39 3s
if x in prod_v K_v then x is a finite adele iff l (x) x in prod_w L_w is a finite adele Withdraw PR #210: Issue comment #241 (comment) created by WilliamCoram
December 10, 2024 17:56 4s
December 10, 2024 17:56 4s
if x in prod_v K_v then x is a finite adele iff l (x) x in prod_w L_w is a finite adele Withdraw PR #209: Issue comment #241 (comment) created by WilliamCoram
December 10, 2024 14:29 3s
December 10, 2024 14:29 3s
PadicInt.valuation should be ℕ-valued Withdraw PR #208: Issue comment #277 (comment) created by YaelDillies
December 10, 2024 10:04 3s
December 10, 2024 10:04 3s
PadicInt.valuation should be ℕ-valued Withdraw PR #207: Issue comment #277 (comment) created by YaelDillies
December 10, 2024 08:31 3s
December 10, 2024 08:31 3s
PadicInt.valuation should be ℕ-valued Withdraw PR #206: Issue comment #277 (comment) created by kbuzzard
December 10, 2024 01:14 3s
December 10, 2024 01:14 3s
Bump mathlib Withdraw PR #205: Issue comment #273 (comment) created by digama0
December 9, 2024 16:05 3s
December 9, 2024 16:05 3s
PadicInt.valuation should be ℕ-valued Withdraw PR #204: Issue comment #277 (comment) created by YaelDillies
December 9, 2024 15:42 4s
December 9, 2024 15:42 4s
Bump mathlib Withdraw PR #203: Issue comment #273 (comment) created by pitmonticone
December 9, 2024 15:09 4s
December 9, 2024 15:09 4s
Bump mathlib Withdraw PR #202: Issue comment #273 (comment) created by kbuzzard
December 9, 2024 15:01 4s
December 9, 2024 15:01 4s
tensor product L(x)[K] _ commutes with arbitrary products if L/K finite Withdraw PR #201: Issue comment #239 (comment) created by maddycrim
December 9, 2024 14:41 4s
December 9, 2024 14:41 4s
Too many "mathlib" folders Withdraw PR #200: Issue comment #247 (comment) created by grunweg
December 9, 2024 13:13 3s
December 9, 2024 13:13 3s
determinant of "restrict scalars" map Withdraw PR #199: Issue comment #275 (comment) created by YaelDillies
December 9, 2024 12:07 3s
December 9, 2024 12:07 3s
chore: fix sign in DistribHaarChar Withdraw PR #198: Issue comment #274 (comment) created by YaelDillies
December 8, 2024 17:11 3s
December 8, 2024 17:11 3s
Definition of map A_K^f -> A_L^f Withdraw PR #197: Issue comment #269 (comment) created by WilliamCoram
December 8, 2024 17:02 3s
December 8, 2024 17:02 3s
Definition of map A_K^f -> A_L^f Withdraw PR #196: Issue comment #269 (comment) created by kbuzzard
December 8, 2024 16:14 3s
December 8, 2024 16:14 3s
Task 232 Withdraw PR #195: Issue comment #270 (comment) created by kbuzzard
December 8, 2024 16:13 3s
December 8, 2024 16:13 3s
Too many "mathlib" folders Withdraw PR #194: Issue comment #247 (comment) created by YaelDillies
December 8, 2024 13:14 3s
December 8, 2024 13:14 3s
Task 232 Withdraw PR #193: Issue comment #270 (comment) created by maddycrim
December 8, 2024 00:15 3s
December 8, 2024 00:15 3s
Definition of map A_K^f -> A_L^f Withdraw PR #192: Issue comment #269 (comment) created by WilliamCoram
December 7, 2024 14:23 3s
December 7, 2024 14:23 3s
map from prod_v K_v to prod_w L_w Withdraw PR #191: Issue comment #232 (comment) created by maddycrim
December 5, 2024 22:45 2s
December 5, 2024 22:45 2s
Definition of map A_K^f -> A_L^f Withdraw PR #190: Issue comment #269 (comment) created by WilliamCoram
December 5, 2024 18:46 3s
December 5, 2024 18:46 3s
Definition of map A_K^f -> A_L^f Withdraw PR #189: Issue comment #269 (comment) created by WilliamCoram
December 4, 2024 17:00 2s
December 4, 2024 17:00 2s
Definition of map A_K^f -> A_L^f Withdraw PR #188: Issue comment #269 (comment) created by WilliamCoram
December 4, 2024 16:58 3s
December 4, 2024 16:58 3s
L tensor K_v = \oplus_{w|v} L_w Withdraw PR #187: Issue comment #231 (comment) created by javierlcontreras
December 4, 2024 15:42 4s
December 4, 2024 15:42 4s